Calculabilité et décidabilité / Jean-Michel Autebert

Public ISBD Titre : Calculabilité et décidabilité : une introduction Type de document : texte imprimé Auteurs : Jean-Michel Autebert Editeur : Paris : Masson Année de publication : 1992 Collection : MIM-enseignement Importance : 120 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82632-0 Langues : Français (fre) Catégories : Mathématiques Tags : Mathématiques  recherche Index. décimale : 509 Mathématiques 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. Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=46375 Calculabilité et décidabilité : une introduction [texte imprimé] / Jean-Michel Autebert . - Paris : Masson, 1992 . - 120 p. ; 24 cm. - (MIM-enseignement) . ISBN : 978-2-225-82632-0 Langues : Français (fre) Catégories : Mathématiques Tags : Mathématiques  recherche Index. décimale : 509 Mathématiques 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. Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=46375

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
SC8/58255	SC8/58255	Livre	Bibliothèque principale	indéterminé	Disponible
SC8/58256	SC8/58256	Livre	Bibliothèque principale	indéterminé	Disponible

---

1 (1 - 1 / 1)