| Titre : | Les démenstrations et les algorithmes |
| Auteurs : | Gilles Dowek |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ecole polytechnique, 2010 |
| ISBN/ISSN/EAN : | 978-2-7302-1569-5 |
| Format : | 193 p. / ill., couv. ill. en coul. / 28 cm |
| Note générale : | La 4ème de couv. porte : "Informatique". - Bibliogr., 1 p. Index |
| Langues: | Français |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | Algorithmes |
| 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. |
Exemplaires (7)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 20623 | 004/2233/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| 20624 | 004/2233/2 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| 20625 | 004/2233/3 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| 20626 | 004/2233/4 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| 20627 | 004/2233/5 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/6821 | 004/2233/6 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/6822 | 004/2233/7 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
