F Nous contacter

0

Documents  06Exx | enregistrements trouvés : 34

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

V


ISBN 978-963-8021-01-4

Colloquia mathematica societatis Janos Bolyai , 0017

Localisation : 1er étage/Congrès/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 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 [+]

V

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

V

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

V

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

V

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

V

- 283 p.

American mathematical society colloquium publications , 0025

Localisation : Collection RdC

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

V

- 418 p.

American mathematical society colloquium publications , 0025

Localisation : Collection RdC

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

V

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

V

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

V

- 100 p.

Localisation : Ouvrage RdC (COUT)

algèbre de Boole # algèbre de la logique # algèbre universelle # analyse mathématique de la logique # logique symbolique # performance mécanique de l'inférence logique # égalité logique

03G05 ; 06Exx

... Lire [+]

V

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

American mathematical society translations series 2 , 0152

Localisation : Collection RdC

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

06Axx ; 06Bxx ; 06Dxx ; 06Exx

... Lire [+]

V

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

V

- 266 p;
ISBN 978-0-521-20170-4

Localisation : Ouvrage RdC (FREM)

algèbre de mesure # anneau booléen # compacité faible # espace de Riesz # espace de mesure # espace dual # espace topologique de Riesz # fonctionnelle linéaire # théorie de la mesure

06Exx ; 28A60 ; 46A20 ; 46A50 ; 47D35

... Lire [+]

V

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

V

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

V

- 147 p.

Van Nostrand mathematical studies , 0001

Localisation : Ouvrage RdC (HALM)

algèbre de mesure # algèbre injective # algèbre libre # algèbre projective # anneau de Boole # atome # condition de chaîne dénombrable # corps d'ensemble # ensemble ouvert régulier # espace de Boole # filtre # idéal # isomorphisme de facteur # ordre # retrait # sigma-algèbre de Boole # sous-algèbre # théorème de l'homomorphisme

03G05 ; 06E10 ; 06Exx

... Lire [+]

V

- 378 p.

Localisation : Ouvrage RdC (HAMM)

algèbre de Boole # calcul matriciel booléen # circuit de communication # décision binaire # ensemble partiellement ordonné # mathématique combinatoire # problème d'affectation # problème de transport # problème séquentiel # programmation pseudo-booléenne # recherche opérationnelle # théorie des graphes # variable bivalente # équation booléenne

05Cxx ; 06A06 ; 06Exx ; 90Bxx ; 90C09

... Lire [+]

Algèbre de Boole Kuntzmann, J. | Dunod 1968

Ouvrage

V

- 361 p.

Bibliothèque de l'automaticien , 0010

Localisation : Ouvrage RdC (KUNT)

algèbre de Boole # algèbre de post # consensus # corps de reste # couverture du cube # expression canonique # expression quasi-canonique # fonction booléenne # fonction à seuil # forme de Lagrance # forme polynômiale lexicographique # hypercube # quantité booléenne # somme de monôme disjoint # synthèse des fonctions O-booléennes # écriture préfixée # équation booléenne algèbre de Boole # algèbre de post # consensus # corps de reste # couverture du cube # expression canonique # expression quasi-canonique # fonction booléenne # fonction à seuil # forme de Lagrance # forme polynômiale lexicographique # hypercube # quantité booléenne # somme de monôme disjoint # synthèse des fonctions O-booléennes # écriture préfixée # équation booléenne

03G05 ; 03G20 ; 06E30 ; 06Exx

... Lire [+]

V

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

V

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

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z