Titre :	Les démonstrations et les algorithmes : Introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek, Auteur
Editeur :	Paris : Ecole Polytechnique
Année de publication :	2010
Importance :	193p
Format :	24x17 cm
ISBN/ISSN/EAN :	978-2-7302-1569-5
Langues :	Français (fre) Langues originales : Français (fre)
Index. décimale :	511
Résumé :	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 DEMONSTRATIONS La logique des prédicats Les modèles LES ALGORITHMES Les fonctions calculables Le calcul comme une suite de petits pas LES DEMONSTRATIONS ET LES ALGORITHMES Le théorème de Church La démonstration automatique Des théories décidables

Les démonstrations et les algorithmes : Introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Paris : Ecole Polytechnique, 2010 . - 193p ; 24x17 cm.
ISBN : 978-2-7302-1569-5
Langues : Français (fre) Langues originales : Français (fre)

Index. décimale :	511
Résumé :	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 DEMONSTRATIONS La logique des prédicats Les modèles LES ALGORITHMES Les fonctions calculables Le calcul comme une suite de petits pas LES DEMONSTRATIONS ET LES ALGORITHMES Le théorème de Church La démonstration automatique Des théories décidables