Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : 2011 Importance : 193p Présentation : couv. ill. en coul Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : Bibliogr Langues : Français (fre) Mots-clés : Logique 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. Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek . - Palaiseau : les Éd. de l'École polytechnique, 2011 . - 193p : couv. ill. en coul ; 24x17 cm. ISBN : 978-2-7302-1569-5 Bibliogr Langues : Français (fre) Mots-clés : Logique 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.

Exemplaires(18)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ISA 0650	04-01-245	Ouvrage	Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV)	Mathématique	Disponible
ISA 0652	04-01-245	Ouvrage	Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV)	Mathématique	Disponible
ISA 0651	04-01-245	Ouvrage	Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV)	Mathématique	Disponible
ISA 0649	04-01-245	Ouvrage	Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV)	Mathématique	Disponible
ISA 0647	04-01-245	Ouvrage	Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV)	Mathématique	Exclu du prêt
ISA 0648	04-01-245	Ouvrage	Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV)	Mathématique	Disponible
FS2011/0247-1	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Exclu du prêt
FS2011/0247-2	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2011/0247-3	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2011/0247-4	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2011/0247-5	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
BC2014/4522-4	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
BC2014/4522-5	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
BC2014/4522-6	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
BC2014/4522-7	511.3 DOW	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
BC2014/4522-1	BC.04-06-021	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Exclu du prêt
BC2014/4522-2	BC.04-06-021	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Disponible
BC2014/4522-3	BC.04-06-021	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200