Un article a bien été ajouté à votre panier

Initiation à la logique formelle : avec exercices et corrigés

Initiation à la logique formelle : avec exercices et corrigés

Auteur : Thierry Lucas

25,90 €
Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle, etc. ©Electre 2024
Terminer ma commande