|
Titre :
|
Les Démonstrations et les algorithmes : introduction à la logique et à la calculabilité
|
|
Auteurs :
|
Gilles Dowek
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Palaiseau : Ecole polytechnique, 2010
|
|
Collection :
|
Informatique
|
|
ISBN/ISSN/EAN :
|
978-2-7302-1569-5
|
|
Format :
|
1 vol. (189 p.) / couv. ill. en coul. / 24 cm
|
|
Note générale :
|
Bibliogr. Index
|
|
Langues originales:
|
|
|
Index. décimale :
|
511.3 (Logique mathématique )
|
|
Catégories :
|
Ouvrages > Sciences naturelles > Mathématiques
|
|
Mots-clés:
|
Logique symbolique et mathématique
Algorithmes
|
|
Résumé :
|
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.
|
|
Côte titre :
|
S8/77297-77300
|
Exemplaires (4)
|
| S8/77297 | Livre | Bibliothèque centrale | Disponible |
| S8/77298 | Livre | Bibliothèque centrale | Disponible |
| S8/77299 | Livre | Bibliothèque centrale | Disponible |
| S8/77300 | Livre | Bibliothèque centrale | Disponible |
Accueil
