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

Information complexité et hasard / Jean-Paul DELAHAYE

Titre : Information complexité et hasard Type de document : texte imprimé Auteurs : Jean-Paul DELAHAYE Mention d'édition : 2e édition revue Editeur : Hermès Science Publications Année de publication : 1999 Collection : Langue, Raisonnement, Calcul Importance : 275 p. ISBN/ISSN/EAN : 978-2-7462-0026-5 Note générale : Table des matières Préface de l'édition 1999 Présentation Bibliographie Index Remerciements Catégories : Complexité de calcul (informatique) Hasard Information, Théorie de l' Logique symbolique et mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : L'information Les suites aléatoires Cinq classes d'idées Modèles formels pour l'induction L'importance des indécidables Calculabilité et physique Le monde est-il récursif ? La solution des paradoxes sématiques

Exemplaires (1)

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

La logique floue et ses applications / Bernadette BOUCHON-MEUNIER

Titre : La logique floue et ses applications Type de document : texte imprimé Auteurs : Bernadette BOUCHON-MEUNIER ; ZADEH, Lotfi, A., Préfacier, etc. Editeur : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : 257 p. ISBN/ISSN/EAN : 978-2-87908-073-4 Note générale : Table des matières Préface de Lotfi Zadeh Introduction Conclusion générale Références Index Catégories : Ensembles flous Logique floue Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : Représentation des connaissances utilisant des sous-ensembles flous Théorie des possibilités et variables linguistiques Raisonnement approximatif Applications de la logique floue Systèmes flous à base de connaissances Commande floue

Exemplaires (1)

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

---

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