Rayon Fondements des mathématiques (logique)
Fiche technique
Format : Broché
Nb de pages : 120 pages
Poids : 227 g
Dimensions : 16cm X 24cm
EAN : 9782225826320
Calculabilité et décidabilité
une introduction
Chez
Elsevier Masson
Collection(s) |
MIM-enseignement
Paru le 01/01/1992
Broché
120 pages
Quatrième de couverture
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.
