Exercices avec solutions sur la théorie des sous-ensembles flous / Kaufmann, A.

Public ISBD Titre : Exercices avec solutions sur la théorie des sous-ensembles flous Type de document : texte imprimé Auteurs : Kaufmann, A. ; T. Dubois ; M. Cools, Auteur Editeur : Paris : Masson et Cie Année de publication : 1975 Importance : viii-166 p. ISBN/ISSN/EAN : 978-2-225-41305-6 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B50 Many-valued logic 03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theories 94-XX Information and communication, circuits:94-01 Instructional exposition (textbooks, tutorial papers, etc.) 94-XX Information and communication, circuits:94CXX Circuits, networks:94C10 Switching theory, application of Boolean algebra; Boolean functions Mots-clés : switching theory  nonclassical set theories  mathematical logic  information and communication Index. décimale : 94C Monographie Exercices avec solutions sur la théorie des sous-ensembles flous [texte imprimé] / Kaufmann, A. ; T. Dubois ; M. Cools, Auteur . - Paris : Masson et Cie, 1975 . - viii-166 p. ISBN : 978-2-225-41305-6 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B50 Many-valued logic 03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theories 94-XX Information and communication, circuits:94-01 Instructional exposition (textbooks, tutorial papers, etc.) 94-XX Information and communication, circuits:94CXX Circuits, networks:94C10 Switching theory, application of Boolean algebra; Boolean functions Mots-clés : switching theory  nonclassical set theories  mathematical logic  information and communication Index. décimale : 94C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9275	94C36	imprimé / autre	CRDM	94/INFORMATION, COMMUNICATIONS, CIRCUITS, AUTOMATES	Disponible

Proof theory for fuzzy logics / George Metcalfe

Public ISBD Titre : Proof theory for fuzzy logics Type de document : texte imprimé Auteurs : George Metcalfe, Auteur ; Nicola Olivetti, Auteur ; Dov M. Gabbay, Auteur Editeur : Springer-Verlag Année de publication : 2009 Collection : Applied Logic Series num. 36 Importance : viii - 276 p. Format : 24 cm ISBN/ISSN/EAN : 978-1-4020-9408-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B50 Many-valued logic 03-XX Mathematical logic and foundations:03BXX General logic:03B52 Fuzzy logic; logic of vagueness Mots-clés : many-valued logics  mathematical fuzzy logics  proof theory for nonclassical logics  Hilbert-type calculi  Gentzen-type calculi  hypersequent calculi Index. décimale : 03C Monographie Proof theory for fuzzy logics [texte imprimé] / George Metcalfe, Auteur ; Nicola Olivetti, Auteur ; Dov M. Gabbay, Auteur . - [S.l.] : Springer-Verlag, 2009 . - viii - 276 p. ; 24 cm. - (Applied Logic Series; 36) . ISBN : 978-1-4020-9408-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B50 Many-valued logic 03-XX Mathematical logic and foundations:03BXX General logic:03B52 Fuzzy logic; logic of vagueness Mots-clés : many-valued logics  mathematical fuzzy logics  proof theory for nonclassical logics  Hilbert-type calculi  Gentzen-type calculi  hypersequent calculi Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20551	03C183	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1