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.
- 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 245 p.
ISBN 978-0-444-11037-4
Studies in logic and the foundations of mathematics , 0085
Localisation : Ouvrage RdC (HAIL)
03G05 ; 60A99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 428 p.
ISBN 978-0-444-87952-3
Studies in logic and the foundations of mathematics , 0085
Localisation : Ouvrage RdC (HAIL)
algèbre de #oole # logique # logique de probabilité # logique propositionnelle # logique symbolique # probabilité
03G05 ; 03Gxx ; 60A05 ; 60A99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 144 p.
ISBN 978-3-540-10286-1
Lecture notes in computer science , 0101
Localisation : Collection 1er étage
algèbre de Boole # booléen # différence booléenne # fonction booléennes # logique
03G05 ; 03Gxx ; 94C09
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 126 p.
ISBN 978-0-19-853168-5
Oxford logic guides
Localisation : Ouvrage RdC (BELL)
algèbre Booléen # axiome du choix # logique algébrique # modèle d'algèbre à valeur booléenne # théorie des ensembles
03Exx ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 298 p.
ISBN 978-3-7643-5402-2
Progress in mathematics , 0142
Localisation : Collection 1er étage
algèbre de Boole # co-finalité héréditaire # degré de Lindelöf héréditaire # fonction cardinale # invariant cardinal # irrédondance # nombre d'ultra filtre # nombre de sous-algèbre # pi-caractère # pi-poids
03E10 ; 03G05 ; 04A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vii; 573 p.
ISBN 978-3-0348-0729-6
Progress in mathematics , 0142
Localisation : Collection 1er étage
algèbre de Boole # co-finalité héréditaire # degré de Lindelöf héréditaire # fonction cardinale # invariant cardinal # irrédondance # nombre d'ultra filtre # nombre de sous-algèbre # pi-caractère # pi-poids
03E05 ; 03E10 ; 03E17 ; 03G05 ; 06-02 ; 06E05 ; 06E10 ; 54A25 ; 54D30 ; 54G05 ; 54G12 ; 06E25 ; 03G25 ; 06F25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 64 p.
ISBN 978-0-8218-1830-5
Memoirs of the american mathematical society , 0130
Localisation : Collection 1er étage
espace métrique compacte # algèbre de Boole # espace booléen # algèbre de Boole topologique # semi-anneau # système partiellement
54E45 ; 03G05
... 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.
- 100 p.
Localisation : Ouvrage RdC (COUT)
algèbre de Boole # algèbre de la logique
03G05 ; 03Gxx
... 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.
- 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.
- 186 p.
Notes on mathematics and its applications
Localisation : Ouvrage RdC (DAVI)
algèbre de Boole # calcul différentiel # congruence # ensemble dénombrable # ensemble récursivement énumérable # groupe # géométrie analytique # matrice # ordinateur # reste # série infinie # équation diophantienne
03D25 ; 03G05 ; 11D79 ; 11Dxx ; 51Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-2-225-84079-1
Axiomes
Localisation : Ouvrage RdC (CORI)
algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude
03B05 ; 03C35 ; 03G05
... Lire [+]
