F Nous contacter

0

Documents  03G05 | enregistrements trouvés : 36

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

V

- 312 p.
ISBN 978-0-444-70261-6

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

V

- Pp. 315-716
ISBN 978-0-444-87152-7

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

V

- Pp. 721-1367
ISBN 978-0-444-87153-4

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

V

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

V

Pure and applied mathematics , 0031

Localisation : Ouvrage RdC (R)

GCH généralisé # algèbre de Boole # forcing # indépendance de AxC # indépendance de V=L # indépendance de l'hypothèse du continu # modèle à valeurs booléennes de la théorie des ensembles # preuve d'indépendance simplifiée # qu'est-ce-que la vérité ?

03Fxx ; 03G05

... Lire [+]

V

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

V

- 124 p.

Localisation : Ouvrage RdC (BOOL)

algèbre

03Exx ; 03G05

... Lire [+]

V

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

V

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

V

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

V

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

V

- 100 p.

Localisation : Ouvrage RdC (COUT)

algèbre de Boole # algèbre de la logique

03G05 ; 03Gxx

... Lire [+]

V

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

V

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

V

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

V

- 203 p.
ISBN 978-0-8218-3121-2

American Mathematical Society Translations. Series 2 , 0141

Localisation : Collection RdC

algèbre de Boole # ensembles partiellement ordonnés # généralisation de treillis # # question de catégorie # semitreillis # théorie générale des treillis # treillis concrets # treillis similaires # variété et autre classe de treillis

03G05 ; 03G10 ; 06-02 ; 06A05 ; 06A10

... Lire [+]

V

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

V

- 245 p.
ISBN 978-0-444-11037-4

Studies in logic and the foundations of mathematics , 0085

Localisation : Ouvrage RdC (HAIL)

03G05 ; 60A99

... Lire [+]

V

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

V

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

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z