- EAN13
- 9782730215695
- ISBN
- 978-2-7302-1569-5
- Éditeur
- École Polytechnique
- Date de publication
- 05/10/2010
- Collection
- DIFFUSION ECOLE
- Nombre de pages
- 194
- Dimensions
- 24 x 17 x 1,3 cm
- Poids
- 360 g
- Langue
- français
- Code dewey
- 511.3
- Fiches UNIMARC
- S'identifier
Les démonstrations et les algorithmes
Introduction à la logique et à la calculabilité
De Gilles Dowek
École Polytechnique
Diffusion Ecole
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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Les principes des langages de programmation, promotion 2004, année 1, tronc commun, INF 321Gilles DowekÉcole polytechnique
-
Les principes des langages de programmation, promotion 2006, année 1, tronc commun...Gilles DowekÉcole polytechnique
-
Introduction à la théorie des langages de programmation, majeure d'informatiqueGilles Dowek, Jean-Jacques LévyÉcole polytechnique
-
Ce dont on ne peut parler il faut l'écrire, Langues et langagesGilles DowekÉditions du Pommier19,00
-
Intelligence artificielle , enquête sur ces technologies qui changent nos viesYann LeCun, Cédric Villani, Enki Bilal, Gilles Dowek, Laurence Devillers, Jean-Gabriel Ganascia, Jean-Paul DelahayeFlammarion8,00