A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Gilles Dowek
Documents disponibles écrits par cet auteur
Affiner la rechercheLes démonstrations et les algorithmes / Gilles Dowek
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
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 Mathématique Exclu du prêt FS2011/0247-2 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible FS2011/0247-3 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible FS2011/0247-4 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible FS2011/0247-5 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-4 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-5 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-6 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-7 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences 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