Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]