Calculabilité et décidabilité : une introduction
Jean-Michel Autebert- 01/01/1992
- Elsevier Masson
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.
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : Jean-Michel Autebert
- Nombre de pages : 120
- ISBN : 9782225826320
- Date de publication : 1 janvier 1992
- Dimensions (L x H x E cm) : 16 X 24 X 0.7
- Poids (g) : 227
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
