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.
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 273 p.
ISBN 978-2-84225-014-0
Nouvelle bibliothèque mathématique , 0005
Localisation : Ouvrage RdC (KRIV)
théorie des ensembles # logique # modèle intérieur # axiome du choix # axiome de Zermelo-Frenkel # modèle de Fraenkel-Mostowski # ensemble constructible # théorème d'incomplétude de Göbel # Forcing # algèbre de Boole # arbre # exercice # indépendance de l'hypothèse du continu # indépendance de l'axiome du choix # chaîne # anti-chaîne
03-01 ; 03Exx ; 03-02 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 303 p.
ISBN 978-2-10-004446-7
Localisation : Enseignement RdC (DEHO)
mathématique de l'informatique # informatique # enseignement # exercice # arbre # langage # monoïde # groupe libre # automate # grammaire formelle # arbre de dérivation machine de Turing # fonction récursive # complexité algorithmique # logique de Boole # logique booléenne # logique # langage algébrique
68-01 ; 03B70 ; 03B10 ; 03G05 ; 68Q30 ; 68Q45 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 385 p.
ISBN 978-2-10-005452-7
Localisation : Enseignement RdC (CORI)
logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude
03-01 ; 03B05 ; 03B10 ; 03G05
... Lire [+]
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.
- 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.
- 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 [+]
