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.
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.
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.
- 137 p.
Publications of the mathematical society of japan , 0013
Localisation : Ouvrage RdC (TAKE)
logique mathématique
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.
- 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.
- 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.
- 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.
- 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.
- 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 [+]
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.
- 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.
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.
- 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 [+]