m

F Nous contacter

0

Documents  03G05 | enregistrements trouvés : 36

O

-A +A

P Q

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.

- Pp. 721-1367
ISBN 978-0-444-87153-4

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- Pp. 315-716
ISBN 978-0-444-87152-7

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 312 p.
ISBN 978-0-444-70261-6

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

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.

- 183 p.

Localisation : Ouvrage RdC (SERF)

algèbre de Boole

03G05 ; 06Exx

... Lire [+]

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 [+]

Z