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

Fuzzy Sets and Systems: Theory and Applications / Didier DUBOIS

Titre : Fuzzy Sets and Systems: Theory and Applications Type de document : texte imprimé Auteurs : Didier DUBOIS, Auteur ; Henri PRADE, Auteur Editeur : Academic Press, Inc. Année de publication : 1980 Collection : Mathematics in Science and Engineering num. 144 Importance : 393 p. ISBN/ISSN/EAN : 978-0-12-222750-9 Note générale : Contents Foreword Preface Acknowledgments References in the Nonfuzzy literature List of the Most Commonly Used Symbols Author Index Subject Index Catégories : Apprentissage automatique Ensembles flous Logique floue Prise de décision:Modèles mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : Introduction Mathematical Tools Fuzzy Models and Formal Strctures Systems-Oriented Fuzzy Topics A Survey of Potential Applications Conclusion

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00012067	511.3 DUB	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Sorti jusqu'au 15/05/2028

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 Logique symbolique et mathématique Théorie de l'information 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

Introduction to the Theory of Computation / Michael SIPSER

Titre : Introduction to the Theory of Computation Type de document : texte imprimé Auteurs : Michael SIPSER, Auteur Mention d'édition : 3rd edition Editeur : Boston (Mass.) : Cengage learning Année de publication : 2013 Importance : 458 p. ISBN/ISSN/EAN : 978-1-133-18779-0 Note générale : Contents Prefaace to the First Edition Preface to the Second Edition Preface to the Third Edition Introduction Selected Bibliography Index Catégories : Complexité de calcul (informatique) Décidabilité (logique mathématique) Informatique:Modèles mathématiques Machines de Turing Théorie des automates mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : AUTOMATA AND LANGUAGES Regular Langugages Context-Free Languages COMPUTABILITY THEORY The Church-Turing Thesis Decidability Reducibility Advanced Topics in Computability Theory COMPLEXITY THEORY Time Complexity Space Complexity Intractability Advanced Topics in Complexity Theory

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00011504	511.3 SIP	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Sorti jusqu'au 15/05/2028

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 - 5 / 5) Par page : 25 50 100 200