|
" Logique et démonstration automatique : "
Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
775731
|
| Doc. No
|
:
|
b595727
|
| Main Entry
|
:
|
Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
|
| Title & Author
|
:
|
Logique et démonstration automatique : : introduction à la logique propositionnelle et à la logique du premier ordre\ Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
|
| Publication Statement
|
:
|
Paris : Ellipses, impr., 2012
|
| Series Statement
|
:
|
Technosup., Informatique.
|
| Page. NO
|
:
|
1 vol. (209 p.) : ill., couv. ill. ; 26 cm.
|
| ISBN
|
:
|
2729872299
|
|
|
:
|
: 9782729872298
|
| Notes
|
:
|
Niveau A (IUT-BTS-1er cycle).
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Calcul propositionnel.
|
| Subject
|
:
|
Logique du premier ordre.
|
| Subject
|
:
|
Logique symbolique et mathématique.
|
| Added Entry
|
:
|
Michel Lévy, maiÌtre de confeÌrences)
|
|
|
:
|
Pascal Lafourcade
|
|
|
:
|
Stéphane Devismes
|
| |