m

F Nous contacter

0

Documents  03G05 | enregistrements trouvés : 36

O

-A +A

P Q

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.

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

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

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

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.

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

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

American Mathematical Society Translations. Series 2 , 0141

Localisation : Collection 1er étage

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

Z