| Titre : | Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité |
| Auteurs : | Gilles Dowek, Auteur |
| Type de document : | Monographie imprimée |
| Editeur : | Palaiseau Cedex [France] : Les éditions de l'école Polytechnique, 2010 |
| ISBN/ISSN/EAN : | 978-2-7302-1569-5 |
| Format : | 1 vol. (189 p.) / couv. ill. en coul. / 24 cm |
| Langues: | Français |
| 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. |
| 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 |
Disponibilité (5)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MAT/498 | Livre | bibliothèque sciences exactes | Consultable |
| MAT/498 | Livre | bibliothèque sciences exactes | Empruntable |
| MAT/498 | Livre | bibliothèque sciences exactes | Empruntable |
| MAT/498 | Livre | bibliothèque sciences exactes | Empruntable |
| MAT/498 | Livre | bibliothèque sciences exactes | Empruntable |
