Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité / DOWEK,Gilles

Public ISBD Titre : Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : DOWEK,Gilles Editeur : Palaiseau : École polytechnique Année de publication : 2010 Importance : 1 vol. (193 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 510-Mathématique Résumé : 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." Note de contenu : Sommaire Les démonstrations Les algorithmes Les démonstrations et les algorithmes Côte titre : Fs/6970-6971,Fs/6906-6909 Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité [texte imprimé] / DOWEK,Gilles . - Palaiseau : École polytechnique, 2010 . - 1 vol. (193 p.) ; 24 cm. ISBN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 510-Mathématique Résumé : 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." Note de contenu : Sommaire Les démonstrations Les algorithmes Les démonstrations et les algorithmes Côte titre : Fs/6970-6971,Fs/6906-6909

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/6906	Fs/6906-6909	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6907	Fs/6906-6909	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6908	Fs/6906-6909	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6909	Fs/6906-6909	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6970	Fs/6970-6971	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6971	Fs/6970-6971	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)