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.

- xxv; 893 p.
ISBN 978-1-138-19901-9

Discrete mathematics and its applications

Localisation : Ouvrage RdC (GUND)

induction # théorie de la démonstration # inégalité # propriété de divisibilité # théorie des graphes # théorie de Ramsey

00A05 ; 00A07 ; 03-01 ; 05-01 ; 11-01 ; 03B30

... Lire [+]

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

- xiv; 422 p.
ISBN 978-0-691-17168-5

Localisation : Ouvrage RdC (STIL)

vulgarisation # mathématiques élémentaires # histoire des mathématiques # infini

00A09 ; 01A05 ; 03-01 ; 00-02

... Lire [+]

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

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

- xxiv; 489 p.
ISBN 978-1-4822-3772-6

Textbooks in mathematics

Localisation : Ouvrage RdC (MEND)

logique mathématique # philosophie # théorie des ensembles de von Neumann-Bernays-Gödel # extension élémentaire # analyse non-standard # théorie de la quantification # théorème de complétude de Goedel # théorie formelle des nombres # arithmétique de premier ordre # calculabilité effective # algorithme

03-01 ; 03B05 ; 03B10 ; 03Cxx ; 03Dxx ; 03Exx ; 03Hxx

... Lire [+]

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

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

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

- xv; 356 p.
ISBN 978-1-4614-3630-0

Localisation : Ouvrage RdC (CUNN)

induction # logique mathématique # théorie des ensembles # démonstration mathématique # enseignement

97E50 ; 97E60 ; 97E30 ; 97E40 ; 03-01 ; 03B05 ; 03F03

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

- xiv; 491 p.
ISBN 978-0-486-49785-3

Dover books on mathematics

Localisation : Ouvrage RdC (HODE)

logique mathématique # logique symbolique

03-01

... Lire [+]

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

- x; 248 p.
ISBN 978-0-521-76324-0

Lecture notes in logic

Localisation : Ouvrage RdC (TENT)

Théorie des modèles # langages et structures du premier ordre # théories stables # théories simples

03-01 ; 03B10 ; 03Cxx

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

- 164 p.

Localisation : Ouvrage RdC (PONA)

logique # sémantique # ensemble # algèbre # topologie

03-01

... Lire [+]

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

- vii; 203 p.
ISBN 978-0-8218-7392-2

Student mathematical library , 0062

Localisation : Collection 1er étage

théorie de la recursivité # machine de Turing # complexité des calculs # logique de la programmation

03Dxx ; 68Qxx ; 03-01 ; 03D10 ; 03D15 ; 03D60 ; 03D80 ; 03B70 ; 68Q05

... Lire [+]

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

- xvi; 453 p.
ISBN 978-1-4471-2172-5

Springer monographs in mathematics

Localisation : Ouvrage RdC (HALB)

logique mathématique # théorie combinatoire des ensembles # théorie axiomatique des ensembles # nombre ordinal # nombre cardinal # invariant cardinal # théorème de Ramsey # forcing itéré # forcing

03E35 ; 03E17 ; 03E25 ; 05D10 ; 03E30 ; 03E50 ; 03E05 ; 03E10 ; 03E75 ; 03-01 ; 03-02

... Lire [+]

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

- 372 p.
ISBN 978-90-01-57070-5

Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics

Localisation : Ouvrage RdC (MALC)

recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

... Lire [+]

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

- ix; 168 p.
ISBN 978-1-10740-048-1

Localisation : Ouvrage RdC (SCHI)

logique mathématique # théorie des ensembles de Zermelo-Fraenkel # axiom du choix # nombre ordinal # nombre cardinal # arbre # filtre # esemble stationnaire # ZFC # espace de Baire # ultra-produit

03-01 ; 03E10 ; 03E30

... Lire [+]

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

- XII-390 p.
ISBN 978-0-521-71916-2

Localisation : Ouvrage RdC (LAWV)

catégories # logique

18-01 ; 03-01

... Lire [+]

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

- xv; 426 p.
ISBN 978-3-7643-7153-1

Localisation : Ouvrage RdC (AMAN)

approximation polynômiale # convergence de suites # convergence de séries # ensemble # fonction analytique # fonction continue # fonction dérivable # nombre # suite de fonctions # topologie

26-01 ; 26Axx ; 03-01 ; 30-01 ; 40-01 ; 54-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.

- xxxii; 613 p.
ISBN 978-0-521-67026-5

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (PRIE)

logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire

03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55

... Lire [+]

Z