En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 06Exx 34 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00005075
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

Localisation : Colloque 1er étage (SZEG)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Cote : 00013292
algèbre de Boole # algorithmique parallèle # anneaux de Boole # base de Grobner # calcul propositionnel # preuve de circuit

03G05 ; 06E20 ; 06Exx ; 68Q10 ; 68Txx

Localisation : Ouvrage RdC (SENE)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 183 p.
Cote : 00011201
algèbre de Boole

03G05 ; 06Exx

Localisation : Ouvrage RdC (SERF)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 137 p.
Cote : 00000801
logique mathématique

03G05 ; 06Exx

Localisation : Ouvrage RdC (TAKE)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 131 p.
Cote : 00007274
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

Localisation : Ouvrage RdC (CARV)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 457 p.
Cote : 00016094
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

Localisation : Ouvrage RdC (WEGE)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 266 p;
Cote : 00001079
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

Localisation : Ouvrage RdC (FREM)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 378 p.
Cote : 00002481
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

Localisation : Ouvrage RdC (HAMM)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 147 p.
Cote : 00002466
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

Localisation : Ouvrage RdC (HALM)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 273 p.
Cote : 00007322
algèbre de Boole # décomposition # ensemble ordonné # famille d'opérateurs # fermeture # fonction booléenne # variable surabondante

03G05 ; 06A15 ; 06Axx ; 06E30 ; 06Exx

Localisation : Ouvrage RdC (LAPS)

Sélection Signaler une erreur