
Initiation à la logique formelle : avec exercices et corrigés
Editeur(s) : De Boeck supérieur
Collection(s) : Démarches de pensée
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.
circleN'est pas en stock. Nous vous le commandons.
Envoi sous 3 à 8 jours
25.90 €
Ean :
9782804182489
Date de parution :
2014-08-20
Format et Reliure :
Livre
Pages :
263