Calculabilité et décidabilité : Une introduction / Jean-Michel AUTEBERT

Titre : Calculabilité et décidabilité : Une introduction Type de document : texte imprimé Auteurs : Jean-Michel AUTEBERT Editeur : Masson Année de publication : 1992 Importance : 118 p. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale : Table des matières Avant-propos Bibliographie Index Catégories : Automates cellulaires Calcul formel Décidabilité (logique mathématique) Fonctions calculables Logique symbolique et mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : Introduction Le modèle des machines RAM Le modèle des machines de Turing Thèse de Church Les problèmes indécidables Aperçu sur la complexité

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000654	511.3 AUT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200