m

F Nous contacter

0

Documents  03C20 | enregistrements trouvés : 13

O
     

-A +A

P Q

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

- ix; 174 p.
ISBN 978-981-4699-94-5

Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0029

Localisation : Colloque 1er étage (SING)

théorie des modèles # non-résolubilité # logique mathématique # forcing

03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25

... Lire [+]

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

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

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

- ix; 200 p.
ISBN 978-0-8218-4833-3

Contemporary mathematics , 0530

Localisation : Collection 1er étage

logique mathématique # ensemble combinatoire # théorie de Ramsey # ultrafiltres

03C20 ; 03E05 ; 03H05 ; 05C55 ; 28E15 ; 03-06 ; 00B25

... Lire [+]

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

- 301 p.
ISBN 978-0-8218-3904-1

Contemporary mathematics , 0420

Localisation : Collection 1er étage

algèbre de groupes # anneau de groupe # algèbre de Hopf # tyhéorie des invariants # algèbre de Lie # géométrie algébrique non-commutative # anneau non commutatif

08B25 ; 15A57 ; 16W25 ; 17B40 ; 20C07 ; 20C15 ; 20F40 ; 03C20 ; 16S34 ; 16U60 ; 20B30 ; 22A05

... Lire [+]

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

- 167 p.
ISBN 978-0-8218-3535-7

Contemporary mathematics , 0361

Localisation : Collection 1er étage

théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne

03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35

... Lire [+]

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

- 439 p.
ISBN 978-1-4020-1080-4

Developments in mathematics , 0008

Localisation : Colloque 1er étage (IIZU)

identité de partition # équation à q-différence # série d'Eisenstein # indépendance linéaire # équation diophantienne # formule explicite # représentation # distribution modulo 1 # forme modulaire # fonction L # racine primitive # fonction zêta # approximant de Padé # théorie de Nevanlinna # série hypergéométrique # somme de Gauss

11-06 ; 11-03 ; 11P83 ; 11J82 ; 11M36 ; 11J72 ; 11P81 ; 11G05 ; 11N37 ; 11K60 ; 11F66 ; 11N69 ; 11M41 ; 11L15 ; 11P32 ; 82C44 ; 03C20 ; 11M20

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

- 574 p.
ISBN 978-3-7643-7777-9

Applied and numerical harmonic analysis

Localisation : Ouvrage RdC (QIAN)

analyse numérique # analyse de Fourier # ondelette # approximation # fractale # analyse temps-fréquence # signal linéaire # signale non-linéaire # traitement d'image

03H05 ; 26E35 ; 46S20 ; 03C20 ; 03C62 ; 03C98 ; 26A03 ; 46A99 ; 46B08 ; 46M07 ; 54A99 ; 54E15

... Lire [+]

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


ISBN 978-0-8218-2565-5

Memoirs of the american mathematical society , 0503

Localisation : Collection 1er étage

2-catégorie # facteur définissable # logique algébrique # logique catégorique # logique du premier ordre # logique proportionnelle # théorie de la dualité # théorie des mobiles # topo # ultramorphisme spécial # ultraproduit

03C20 ; 03C40 ; 03G30 ; 18D05

... Lire [+]

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

- 196 p.
ISBN 978-0-88385-108-1

M.A.A. Studies in Mathematics , 0008

Localisation : Ouvrage RdC (Stud)

analyse non-standard # théorie des modèles # ultra puissance

03C20 ; 03C55 ; 03C70 ; 03Cxx

... Lire [+]

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

- 544 p.
ISBN 978-0-7204-0757-0

Studies in logic and the foundations of mathematics , 0092

Localisation : Ouvrage RdC (SHEL)

classification # modèle non isomorphe # saturé # théorie de modèle # ultra-produit

03C20 ; 03C35 ; 03C45 ; 03C50 ; 03Cxx

... Lire [+]

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

- 554 p.
ISBN 978-0-7204-2273-3

Studies in logic and foundations of mathematics , 0073

Localisation : Ouvrage RdC (CHAN)

catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit

03C20 ; 03C35 ; 03C50 ; 03Cxx

... Lire [+]

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

- 127 p.

Synthèse library , 0127

Localisation : Ouvrage RdC (BOWE)

calcul des prédicats # calcul modal des prédicats # complétude de modèle # consistance de joint # extension de modèle # forcing fini # interpolation # limite directe # logique modale # modèle de Kripke # morphisme # tableau sémantique # théorie des modèles # théorie inductive # théorème de Lowenheim-Skolem # ultrapoint

03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40

... Lire [+]

Z