m

F Nous contacter

0

Documents  03-01 | enregistrements trouvés : 96

O

-A +A

P Q

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

- 122 p.
ISBN 978-90-6196-466-7

CWI syllabus , 0042

Localisation : Collection 1er étage

ensemble ordonné # fondement # logique mathématique # théorie des ensembles

03-01 ; 04-01 ; 06-01

... Lire [+]

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

- x; 219 p.
ISBN 978-0-88385-777-9

Localisation : Ouvrage RdC (HENL)

nombres réels # nombres complexes # théorie des nombres

03-01 ; 03F60 ; 03H05

... Lire [+]

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

- xv; 322 p.
ISBN 978-0-691-16044-3

Localisation : Ouvrage RdC (LOVE)

théorie de la démonstration # théorie de la calculabilité # logique philosophique

03-01 ; 03A05 ; 03B70 ; 03D10 ; 03D20 ; 03F03

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

- 218 p.
ISBN 978-1-56881-213-7

Localisation : Ouvrage Rdc (WAPN)

récréation mathématique # logique # axiome de choix # paradoxe de Banach Tarski # 20ème siècle

00A08 ; 03E25 ; 00-01 ; 00A05 ; 01A60 ; 03-01 ; 03-03

... Lire [+]

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

- xxiv; 473 p.
ISBN 978-1-107-67866-8

Localisation : Ouvrage RdC (SHEP)

infini # théorie des ensembles # logique mathématique # philosophie

03-01 ; 03Exx ; 03A05

... Lire [+]

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

- 401 p.
ISBN 978-0-521-86516-6

Encyclopedia of mathematics and its applications , 0112

Localisation : Collection 1er étage

mathématiques générales # théorie des corps # groupes topologiques # logique mathématique

00A05 ; 12-01 ; 54-01 ; 22-01 ; 03-01

... Lire [+]

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

- 231 p.
ISBN 978-2-7042-1073-2

Série Schaum

Localisation : Enseignement RdC (TOKH)

arithmétique binaire # bascule # circuit arithmétique # code binaire # compteur # conversion de codes # conversions N/A et A/N # porte logique fondamentale # registre de décalage # simplification de circuit logique # système de numération # tabulation # utilisation de circuit intégré numérique # électronique digitale

03-01 ; 68-01 ; 94-01

... Lire [+]

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

- 180 p.
ISBN 978-1-85233-056-9

Springer undergraduate mathematics series

Localisation : Ouvrage RdC (CAME)

logique # catégorie # théorie des ensembles

03-01 ; 00A05 ; 18-01

... Lire [+]

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

Set theory Jech, Thomas | Springer 2003

Ouvrage

- xiii; 769 p.
ISBN 978-3-540-44085-7

Springer monographs in mathematics

Localisation : Ouvrage RdC (JECH)

axiome de théorie des ensembles # logique mathématique # nombre cardinal # théorie des ensembles # théorie des modèles # théorie descriptive des ensembles

03Exx ; 03-02 ; 03-01 ; 03E05 ; 03E45 ; 03E15 ; 03E40 ; 03E50 ; 03E55 ; 03E35 ; 03E60 ; 03E04 ; 03E10 ; 03E17 ; 03E02

... Lire [+]

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

- 424 p.
ISBN 978-0-8176-4111-5

Localisation : Ouvrage RdC (BLOC)

théorie de la preuve # théorie des ensembles # enseignement # ensemble # fonction # relation # cardinalité # combinatoire # rigueur des mathématiques

00-01 ; 00A35 ; 03-01

... Lire [+]

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

- 243 p.
ISBN 978-0-19-853027-5

Oxford texts in logic , 0002

Localisation : Ouvrage RdC (BORN)

logique mathématique # logique formelle # informatique # preuve formelle # calculateur logique

03-01 ; 68-01

... Lire [+]

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

- 257 p.
ISBN 978-0-8014-0727-7

Localisation : Ouvrage RdC (CHIH)

ontologie # philosophie des mathématiques de Poincaré # platonisme ontologie de Godel # platonisme ontologie de Quine # principe de cercle vicieux

03-01 ; 03A05

... Lire [+]

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

- 276 p.
ISBN 978-0-387-28722-5

Undergraduate texts in mathematics

Localisation : Ouvrage RdC (MOSC)

théorie des ensembles # axiome de fondation # espace de Baire # axiome de remplacement # point fixe

03-01 ; 03E30 ; 03E15

... Lire [+]

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


ISBN 978-0-8218-0419-3

Translations of mathematical monographs , 0164

Localisation : Collection 1er étage

analyse harmonique abstraite # analyse non standard # fondement # groupe de Lie # groupe de Lie p-adique # logique mathématique # structure des groupes LCA # théorie d'opérateur non standard # théorie de mesure non standard

03-01 ; 03H05 ; 26E35 ; 43-02 ; 43A25

... Lire [+]

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

- 261 p.
ISBN 978-3-540-10879-5

Lecture notes in mathematics , 0881

Localisation : Collection 1er étage

analyse non standard # modèle non standard # équation différentielle # topologie non standard

03H05 ; 03H10 ; 54J05 ; 03-01

... Lire [+]

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

- 342 p.
ISBN 978-0-387-98760-6

Graduate texts in mathematics , 0217

Localisation : Collection 1er étage

logique # théorie des modèles # structure mathématique # type d'espace # théorème de catégoricité de Morley # théorie omega stable # groupe omega stable # ensemble fortement minimal

03Cxx ; 03-01 ; 03-02 ; 20A15

... Lire [+]

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

- 260 p.
ISBN 978-2-04-018617-3

Localisation : Ouvrage RdC (VELU)

algèbre de Boole # algèbre linéaire # analyse combinatoire # arithmétique # calcul propositionnel # code détecteur # correction d'erreur # fonction booléennes # numération # outils mathématiques de l'informatique # relation # semble

03-01 ; 04-01 ; 05-01 ; 68Qxx

... Lire [+]

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

- 166 p.

Mathématiques et sciences de l'homme , 0006

Localisation : Ouvrage RdC (LORE)

métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité

03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25

... Lire [+]

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

- 93 p.
ISBN 978-2-85629-061-3

Localisation : Ouvrage RdC (Math)

recherche mathématique # enseignement mathématiques

03-01 ; 03Cxx

... Lire [+]

Z