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 (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 changé notre raisonnement. ©Electre 2025

Fiche Technique

Paru le : 11/10/2010

Thématique : Mathématiques 1er Cycle

Auteur(s) : Auteur : Gilles Dowek

Éditeur(s) : Ecole polytechnique

Collection(s) : Informatique

Série(s) : Non précisé.

ISBN : 978-2-7302-1569-5

EAN13 : 9782730215695

Reliure : Broché

Pages : 193

Hauteur: 24.0 cm / Largeur 17.0 cm

Épaisseur: 1.3 cm

Poids: 360 g

18,30 €

Chargement...