Titre :	Calculabilité et décidabilité une introduction
Type de document :	texte imprime
Auteurs :	Autebert, Jean-Michel
Editeur :	Paris : Masson
Année de publication :	DL 1992
Collection :	Manuels informatiques, ISSN 0249-6992
Importance :	118 p.
Présentation :	ill.
Format :	24 cm.
ISBN/ISSN/EAN :	978-2-225-82632-0
Note générale :	Bibliogr. p. 115. Index
Langues :	Français
Mots-clés :	Complexité de calcul (informatique)  Automates mathématiques, Théorie des  Calcul formel  Logique mathématique  Fonctions calculables  Décidabilité (logique mathématique)
Index. décimale :	511.35
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. ©Electre 2021
Permalink :	./index.php?lvl=notice_display&id=13549

Calculabilité et décidabilité une introduction [texte imprime] / Autebert, Jean-Michel . - Paris : Masson, DL 1992 . - 118 p. : ill. ; 24 cm.. - (Manuels informatiques, ISSN 0249-6992) .
ISBN : 978-2-225-82632-0

Bibliogr. p. 115. Index
Langues : Français

Mots-clés :	Complexité de calcul (informatique)  Automates mathématiques, Théorie des  Calcul formel  Logique mathématique  Fonctions calculables  Décidabilité (logique mathématique)
Index. décimale :	511.35
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. ©Electre 2021
Permalink :	./index.php?lvl=notice_display&id=13549