عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
2729872299
9782729872298
b595727
Logique et démonstration automatique :
[Book]
introduction à la logique propositionnelle et à la logique du premier ordre
Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
Paris
Ellipses, impr.
2012
1 vol. (209 p.) : ill., couv. ill. ; 26 cm.
Technosup., Informatique.
Niveau A (IUT-BTS-1er cycle).
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.
Calcul propositionnel.
Logique du premier ordre.
Logique symbolique et mathématique.
Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
Michel Lévy, maiÌtre de confeÌrences)
Pascal Lafourcade
Stéphane Devismes
مطالعه متن کتاب [Book]
Y
