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...
Saved in:
| Main Author : | |
|---|---|
| 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 : |
| Summary : | 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 concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même." |
|---|---|
| Publication history : | Autre tirage : 2011 |
| Bibliography : | Bibliogr. 1 p. Index |
| ISBN : | 978-2-7302-1569-5 |