GEOTRUST SSL CERTIFICATE
| Titre : | Calculabilité et décidabilité : une introduction |
| Auteurs : | Jean-Michel Autebert, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1992 |
| Collection : | MIM-enseignement |
| ISBN/ISSN/EAN : | 978-2-225-82632-0 |
| Format : | 120 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 378.51 |
| Mots-clés: | mathématiques ; recherche |
| Résumé : |
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
