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