m

F Nous contacter

0

Documents  06Exx | enregistrements trouvés : 34

O

-A +A

P Q

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


ISBN 978-963-8021-01-4

Colloquia mathematica societatis Janos Bolyai , 0017

Localisation : Colloque 1er étage (SZEG)

algèbre de Boole # algèbre de Stone # algèbre de polynome # algèbre libre # algèbre régulière # algèbre universelle # automate d'arbre # homotopie # logique équationnelle # oméga-algèbre abélienne # p-algèbre modulaire complète # problème de Goralcik # puissance de Boole # suite exacte # treillis de congruence # treillis de scission # treillis de variété # treillis modulaire

06Bxx ; 06Exx ; 08C05

... Lire [+]

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

- xxix; 613 p.
ISBN 978-3-0348-0017-4

Localisation : Ouvrage RdC (GRAT)

treillis # treillis distributifs # algébre de Boole # construction de treillis # treillis semi-modulaire # treillis libre # produit libre de treillis

06-01 ; 06-02 ; 06Bxx ; 06Cxx ; 06Dxx ; 06Exx

... Lire [+]

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

- xiv; 574 p.
ISBN 978-0-387-40293-2

Undergraduate texts in mathematics

Localisation : Ouvrage RdC (GIVA)

structures ordonnées # algèbre booléenne # anneau booléen # espace booléen # algèbre de mesures

06Exx ; 06-01 ; 06E05 ; 06E10 ; 06E15

... Lire [+]

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

- 176 p.

Ergebnisse der mathematik und ihrer grenzgebiete , 0025

Localisation : Ouvrage RdC (SIKO)

algèbre de Boole # M-homomorphisme

06Exx

... Lire [+]

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

- 270 p.
ISBN 978-0-691-03436-2

Princeton series in computer science

Localisation : Ouvrage RdC (KURS)

COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction de la vérification # réduction homomorphique # structure algébrique # système de commande # système de vérification # temps continue # temps discret # théorème d'induction algorithmique # vérification assisté par ordinateur COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction ...

06Exx ; 68Q68 ; 68U07 ; 93Bxx ; 93C60

... 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.

- 246 p.
ISBN 978-0-8218-7501-8

American mathematical society translations series 2 , 0152

Localisation : Collection 1er étage

algèbre de logique # classe de treillis # ensemble ordonné # ensemble partiellement ordonné # semi- treillis # treillis concret # treillis distributif

06Axx ; 06Bxx ; 06Dxx ; 06Exx

... Lire [+]

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

Localisation : Colloque 1er étage

algèbre de Boole monadique libre # algèbre de De Morgan monadique libre # algèbre de Ockham # algèbre de type H # algèbre inclinée # algèbre libre # algèbre modale à 4 valeurs monodique # groupe abélien réticulé libre # groupe de Lie semi-simple # groupe fini # générateur et relation # jeu non coopératif # mesure à valeur de semi- groupe uniforme # opérateur non symétrique # plan conjugué # pliage de biopolymère # polynôme de Kashdan-Lusztig # stabilité de polotype # stabilité de polytope # économie importante algèbre de Boole monadique libre # algèbre de De Morgan monadique libre # algèbre de Ockham # algèbre de type H # algèbre inclinée # algèbre libre # algèbre modale à 4 valeurs monodique # groupe abélien réticulé libre # groupe de Lie semi-simple # groupe fini # générateur et relation # jeu non coopératif # mesure à valeur de semi- groupe uniforme # opérateur non symétrique # plan conjugué # pliage de biopolymère # polynôme de Kashdan-Lusztig # ...

00B25 ; 06D30 ; 06Exx ; 08B20 ; 92C40

... 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.

- 412 p.
ISBN 978-2-225-82621-4

Logique mathématiques informatique

Localisation : Ouvrage RdC (XUON)

algèbre de Boole # algèbre universelle # arbre et arborescence # circuit dans les graphes # complexité de calcul # construction inductive # dénombrement # ensemble ordonné # induction noethérienne # induction structurelle # informatique # mathématique algorithmique # mathématique discrète # méthode de récurrence # point fixe # structure algébrique # système relationnel # treillis

05C05 ; 06Axx ; 06Bxx ; 06Exx ; 68Rxx

... 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.

- 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.

- 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.

- 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.

- 270 p.

Monografie matematyczne , 0032

Localisation : Ouvrage RdC (MAZU)

algèbre de Boole # fondation du calcul des probabilités # théorie des fonctions réelles

03G05 ; 06Exx ; 26-XX ; 60-XX

... Lire [+]

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

- 131 p.

Collection de mathématiques économiques , 0002

Localisation : Ouvrage RdC (CARV)

algèbre de Boole # anal yse booléenne # calcul binaire # ensemble # fon ction de Boole # fonction caractéristique # graphe # logique des propositions # logique symbolique # réseau # équation de Boole

03B05 ; 03G05 ; 04A05 ; 06Exx ; 68Q40

... Lire [+]

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

- 283 p.

American mathematical society colloquium publications , 0025

Localisation : Collection 1er étage

algèbre de Boole # condition de chaîne # groupe ou semi-groupe # théorie ergodique # treillis complet modulaire complémenté semi-modulaire distri # treillis de vecteur # treillis ordonné

06Bxx ; 06Cxx ; 06Dxx ; 06Exx

... Lire [+]

Z