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