Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vii; 573 p.
ISBN 978-3-0348-0729-6
Progress in mathematics , 0142
Localisation : Collection 1er étage
algèbre de Boole # co-finalité héréditaire # degré de Lindelöf héréditaire # fonction cardinale # invariant cardinal # irrédondance # nombre d'ultra filtre # nombre de sous-algèbre # pi-caractère # pi-poids
03E05 ; 03E10 ; 03E17 ; 03G05 ; 06-02 ; 06E05 ; 06E10 ; 54A25 ; 54D30 ; 54G05 ; 54G12 ; 06E25 ; 03G25 ; 06F25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 385 p.
ISBN 978-2-10-005452-7
Localisation : Enseignement RdC (CORI)
logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude
03-01 ; 03B05 ; 03B10 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-2-84225-014-0
Nouvelle bibliothèque mathématique , 0005
Localisation : Ouvrage RdC (KRIV)
théorie des ensembles # logique # modèle intérieur # axiome du choix # axiome de Zermelo-Frenkel # modèle de Fraenkel-Mostowski # ensemble constructible # théorème d'incomplétude de Göbel # Forcing # algèbre de Boole # arbre # exercice # indépendance de l'hypothèse du continu # indépendance de l'axiome du choix # chaîne # anti-chaîne
03-01 ; 03Exx ; 03-02 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 303 p.
ISBN 978-2-10-004446-7
Localisation : Enseignement RdC (DEHO)
mathématique de l'informatique # informatique # enseignement # exercice # arbre # langage # monoïde # groupe libre # automate # grammaire formelle # arbre de dérivation machine de Turing # fonction récursive # complexité algorithmique # logique de Boole # logique booléenne # logique # langage algébrique
68-01 ; 03B70 ; 03B10 ; 03G05 ; 68Q30 ; 68Q45 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 64 p.
ISBN 978-0-8218-1830-5
Memoirs of the american mathematical society , 0130
Localisation : Collection 1er étage
espace métrique compacte # algèbre de Boole # espace booléen # algèbre de Boole topologique # semi-anneau # système partiellement
54E45 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 125 p.
Collection de mathématiques économiques
Localisation : Ouvrage RdC (CARV)
algèbre de Boole # ensemble ordonné # logique formelle # treillis
03G05 ; 03G10 ; 06E05 ; 06Exx ; 06Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 203 p.
ISBN 978-0-8218-3121-2
American Mathematical Society Translations. Series 2 , 0141
Localisation : Collection 1er étage
algèbre de Boole # ensembles partiellement ordonnés # généralisation de treillis # # question de catégorie # semitreillis # théorie générale des treillis # treillis concrets # treillis similaires # variété et autre classe de treillis
03G05 ; 03G10 ; 06-02 ; 06A05 ; 06A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 349 p.
ISBN 978-2-225-84011-1
Localisation : Ouvrage RdC (ARNO)
algèbre combinatoire # algébre de Boole # calcul ensembliste # chaine de Markov finie # comportement asymptoptique # ensembles ordonnés # fonction # graphe et arbre # langage rationnel et automate fini # logique # mathématique pour l'informatique # probabilités discrètes # récursion et induction # série génératrice
03G05 ; 05Cxx ; 06Exx ; 60Jxx ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 298 p.
ISBN 978-3-7643-5402-2
Progress in mathematics , 0142
Localisation : Collection 1er étage
algèbre de Boole # co-finalité héréditaire # degré de Lindelöf héréditaire # fonction cardinale # invariant cardinal # irrédondance # nombre d'ultra filtre # nombre de sous-algèbre # pi-caractère # pi-poids
03E10 ; 03G05 ; 04A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 179 p.
ISBN 978-2-13-040286-2
Localisation : Ouvrage RdC (MIGN)
algèbre # algèbre appliquée à l'informatique # algèbre de Boole # biblog # calcul algébrique # circuit # graphe # groupe # machine # monoïde # réseau
03G05 ; 06Exx ; 68Q05 ; 68Q40 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 457 p.
ISBN 978-0-471-91555-3
Wiley-Teubner series in computer science
Localisation : Ouvrage RdC (WEGE)
algèbre booléenne # complexité informatique # fonction booléennes # ordre treillis # structures algébriques ordonnées # traitement électronique des données
03G05 ; 03Gxx ; 06-XX ; 06E03 ; 06Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-2-225-84079-1
Axiomes
Localisation : Ouvrage RdC (CORI)
algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude
03B05 ; 03C35 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 490 p.
ISBN 978-0-12-224460-5
A.p.i.c. studies in data proceeding , 0029
Localisation : Ouvrage RdC (DUNN)
application d' algèbre de Boole # classe de complexité
03D15 ; 03G05 ; 06Exx ; 68Q15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 144 p.
ISBN 978-3-540-10286-1
Lecture notes in computer science , 0101
Localisation : Collection 1er étage
algèbre de Boole # booléen # différence booléenne # fonction booléennes # logique
03G05 ; 03Gxx ; 94C09
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 100 p.
Localisation : Ouvrage RdC (COUT)
algèbre de Boole # algèbre de la logique
03G05 ; 03Gxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 428 p.
ISBN 978-0-444-87952-3
Studies in logic and the foundations of mathematics , 0085
Localisation : Ouvrage RdC (HAIL)
algèbre de #oole # logique # logique de probabilité # logique propositionnelle # logique symbolique # probabilité
03G05 ; 03Gxx ; 60A05 ; 60A99
... Lire [+]
