m

Documents  03G05 | enregistrements trouvés : 36

O

-A +A

P Q

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.

- 124 p.

Localisation : Ouvrage RdC (BOOL)

algèbre

03Exx ; 03G05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 183 p.

Localisation : Ouvrage RdC (SERF)

algèbre de Boole

03G05 ; 06Exx

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

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.

Algèbre de Boole Kuntzmann, J. | Dunod 1968

Ouvrage

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

Z