Les démonstrations et les algorithmes
: introduction à la logique et à la calculabilité
La 4e de couverture indique : "Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux con...
Full description
Saved in:
Bibliographic Details
| Main Author : |
Dowek Gilles
(Auteur) |
| Format : |
Book |
| Language : |
français |
| Title statement : |
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité / Gilles Dowek |
| Published : |
Palaiseau :
Les Editions de l'Ecole polytechnique
, DL 2010
|
| Physical Description : |
1 vol. (193 p.) |
| Series : |
Informatique (Palaiseau)
|
| Subjects : |
|
Nantilus
