عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
2729872299
(Number (ISBN
9782729872298
NATIONAL BIBLIOGRAPHY NUMBER
Number
b595727
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logique et démonstration automatique :
General Material Designation
[Book]
Other Title Information
introduction à la logique propositionnelle et à la logique du premier ordre
First Statement of Responsibility
Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Paris
Name of Publisher, Distributor, etc.
Ellipses, impr.
Date of Publication, Distribution, etc.
2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 vol. (209 p.) : ill., couv. ill. ; 26 cm.
SERIES
Series Title
Technosup., Informatique.
GENERAL NOTES
Text of Note
Niveau A (IUT-BTS-1er cycle).
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Calcul propositionnel.
Logique du premier ordre.
Logique symbolique et mathématique.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Stéphane Devismes, ... Pascal Lafourcade, ... Michel Lévy, ...
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Michel Lévy, maiÌtre de confeÌrences)
Pascal Lafourcade
Stéphane Devismes
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
