Chargement...
Chargement...

Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité

Auteur : Gilles Dowek

Paru le : 11/10/2010
Éditeur(s) : Ecole polytechnique
Série(s) : Non précisé.
Collection(s) : Informatique
Contributeur(s) : Non précisé.

18,30 €
Expédié en 5 à 7 jours.
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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 (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 2018

Quatrième de couverture

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. Destiné aux étudiants de licence et de master, ce livre présente ce que tous les philosophes, mathématiciens et informaticiens devraient aujourd'hui savoir sur la logique.

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 : 2-7302-1569-7

EAN13 : 9782730215695

Format : Non précisé.

Reliure : Broché

Pages : 193

Hauteur : 24 cm / Largeur : 17 cm

Épaisseur : 1,2 cm

Poids : 340 g