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 : Colloque RdC

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

- 237 p.

Ergebnisse der mathematik und ihrer grenzgebiete , 0025

Localisation : Ouvrage RdC (SIKO)

algèbre de Boole # m-algèbre # produit booléen

03G05 ; 06Exx

... Lire [+]

V

- 176 p.

Ergebnisse der mathematik und ihrer grenzgebiete , 0025

Localisation : Ouvrage RdC (SIKO)

algèbre de Boole # M-homomorphisme

06Exx

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

- 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

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

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

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

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

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

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

V

- 137 p.

Publications of the mathematical society of japan , 0013

Localisation : Ouvrage RdC (TAKE)

logique mathématique

03G05 ; 06Exx

... Lire [+]

y

Localisation : Colloque RdC

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

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

- 350 p.

Traité de physique théorique et de physique mathématique , 0013

Localisation : Ouvrage RdC (PARO)

algèbre de Boole # algèbre des matrices # algèbre linéaire # algèbre moderne # chaîne de contact # diagonalisation de matrice # fonction de variable matricielle # forme associée à une matrice # géométrie de déformation des milieux continus # matrice T indice 1 de Poincaré # optique géométrique # opération différentielle sur matrice # physique classique # physique mathématique # physique moderne # physique théorique # quadripôle # rayonnement électromagnétique # réseau électrique # somme et produit direct de matrice # théorème de Cayley-Hamilton # topologie de configuration linériare # valeur caractéristique de matrice carrée algèbre de Boole # algèbre des matrices # algèbre linéaire # algèbre moderne # chaîne de contact # diagonalisation de matrice # fonction de variable matricielle # forme associée à une matrice # géométrie de déformation des milieux continus # matrice T indice 1 de Poincaré # optique géométrique # opération différentielle sur matrice # physique classique # physique mathématique # physique moderne # physique théorique # quadripôle # rayonnement ...

06Exx ; 15A03 ; 15A63 ; 15A90 ; 78A25

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

- 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

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

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z