LIVRE Les démonstrations et les algorithmes

 

Les démonstrations et les algorithmes

Introduction à la logique et à la calculabilité

• Auteur(s) : Gilles Dowek
• Editeur : Ecole polytechnique

• Nombre de pages : 196 pages
• Date de parution : 05/10/2010

POUR COMMANDER

 

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.

Type produit : Ouvrage Editeur(s) : Ecole polytechnique Auteur(s) : Gilles Dowek ISBN13 : 978-2-7302-1569-5 EAN13 : 9782730215695 ISBN10 : 2-7302-1569-7

Parution : 05/10/2010 Edition : 1ère édition Nb de pages : 196 pages Format : 17 x 24 Couverture : Broché Poids : 340 g Intérieur : Noir et Blanc