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.
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.
- 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.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 418 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 [+]
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.
- 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.
- 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 [+]
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.
- 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.
- 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 [+]
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.
- 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.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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
03G05 ; 03G20 ; 06E30 ; 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.
- 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 [+]