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

La vie artificielle / Jean-Claude HEUDIN

Titre : La vie artificielle Type de document : texte imprimé Auteurs : Jean-Claude HEUDIN Editeur : Hermès Science Publications Année de publication : 1994 Collection : Collection systèmes complexes Importance : 267 p. ISBN/ISSN/EAN : 978-2-86601-434-6 Note générale : Table des matières Prologue Epilogue Annexe Bibliographie Index Catégories : Algorithmes Automates cellulaires Intelligence artificielle Réseaux neuronaux (informatique) Index. décimale : 006.3 Intelligence artificielle Résumé : Fondements Autoreproduction Morphogenèse Evolution Diversité Théories Philosophies

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002001	006.3 HEU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

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