Nantilus
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...
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité / Gilles Dowek |
| Publié : |
Palaiseau :
Les Editions de l'Ecole polytechnique
, DL 2010 |
| Description matérielle : | 1 vol. (193 p.) |
| Collection : | Informatique (Palaiseau) |
| Sujets : |
Chargement en cours