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 2025
Paru le : 01/01/1992
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Jean-Michel Autebert
Éditeur(s) :
Elsevier Masson
Collection(s) : MIM-enseignement
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782225826320
Reliure : Broché
Pages : 120
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 0.7 cm
Poids: 227 g
Carte fidélité
Mollat Radio
