| Titre : |
La machine de Turing : *** |
| Auteurs : |
Turing, Plan- Girard, Jean Yves, |
| Editeur : |
Seuil |
| Année de publication : |
1995 |
| Importance : |
175 p. |
| Format : |
18 cm |
| Note générale : |
LOGIQUE |
| Catégories : |
MATHEMATIQUE - PHYSIQUE - CHIMIE
|
| Mots-clés : |
MACHINES DE TURING%CALCUL (MATHEMATIQUES)%LOGICIEL |
| Résumé : |
La 'révolution informatique' marquée par la machine abstraite et l'intelligence artificielle est passée par plusieurs étapes. Ceci implique une restructuration complète de la vieille discipline. Aussi, des éclaircissements techniques et surtout un positionnement par rapport à l'ombre immense de Gödel ont été apportés dans cet ouvrage. La machine de Turing acquiert sa véritable dimension par l'amorce de la mutation de la théorie de la calculabilité en théorie des calculs.- - - |
| Note de contenu : |
- - - - - - |
| Numéro du document : |
02B |
| Niveau Bibliographique : |
4 |
| Bull1 (Theme principale) : |
LOGIQUE |
La machine de Turing : *** [] / Turing, Plan- Girard, Jean Yves, . - Seuil, 1995 . - 175 p. ; 18 cm. LOGIQUE
| Catégories : |
MATHEMATIQUE - PHYSIQUE - CHIMIE
|
| Mots-clés : |
MACHINES DE TURING%CALCUL (MATHEMATIQUES)%LOGICIEL |
| Résumé : |
La 'révolution informatique' marquée par la machine abstraite et l'intelligence artificielle est passée par plusieurs étapes. Ceci implique une restructuration complète de la vieille discipline. Aussi, des éclaircissements techniques et surtout un positionnement par rapport à l'ombre immense de Gödel ont été apportés dans cet ouvrage. La machine de Turing acquiert sa véritable dimension par l'amorce de la mutation de la théorie de la calculabilité en théorie des calculs.- - - |
| Note de contenu : |
- - - - - - |
| Numéro du document : |
02B |
| Niveau Bibliographique : |
4 |
| Bull1 (Theme principale) : |
LOGIQUE |
|
