Documents  Critères de recherche : "Set theory and model theory" | enregistrements trouvés : 7

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

- 167 p.
ISBN 978-0-8218-3535-7

Contemporary mathematics , 0361

Localisation : Collection 1er étage

théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne

03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35

... Lire [+]

- 158 p.
ISBN 978-0-19-853241-5

Oxford logic studies , 0012

Localisation : Ouvrage RdC (BELL)

logique mathématique et base # modèle Booléen-évalué # résultat d'uniformité et d'indépendance

03E40 ; 03-02 ; 03E35

... Lire [+]

- 126 p.
ISBN 978-0-19-853168-5

Oxford logic guides

Localisation : Ouvrage RdC (BELL)

algèbre Booléen # axiome du choix # logique algébrique # modèle d'algèbre à valeur booléenne # théorie des ensembles

03Exx ; 03G05

... Lire [+]

- 462 p.
ISBN 978-90-277-2492-2

Theory and decision library

Localisation : Ouvrage RdC (Opti)

analyse # approche interractive # choix # environnement # mode d'optimisation # processus de programmation # programmation avec des paramètres flous # programmation floue # programmation mathématique # solution # théorie de la décision # théorie des possibilités # usage des ensembles flous par des modèles d'optimisation

62-04 ; 62Cxx ; 90C70

... Lire [+]

- xxii-191 p.
ISBN 978-0-19-960916-1

Oxford logic guides , 0047

Localisation : Ouvrage RdC (BELL)

logique mathématique # axiome de choix # algèbre de Heyting # algèbre booléenne # consistance # indépendance # hypothèse du continuum # axiome de Martin # problème de Souslin

03E40 ; 03-02 ; 03C90 ; 03E35 ; 03E50 ; 03E25

... Lire [+]