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

Introduction à la calculabilité / Pierre WOLPER

Titre : Introduction à la calculabilité Type de document : texte imprimé Auteurs : Pierre WOLPER Editeur : InterEditions Année de publication : 1991 Collection : IIA Importance : 268 p. ISBN/ISSN/EAN : 978-2-7296-0372-4 Note générale : Table des matières Préface Exercices Bibliographie Index Catégories : Automates mathématiques, Théorie des Calcul formel Fonctions calculables Langages formels Index. décimale : 005.13 Langages de programmation Résumé : Les automates finis Les grammaires régulières Automates à pile et langage hors-contexte Les machines de Turing Les fonctions récursives La non-calculabilité La complexité

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002170	005.13 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

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