m

F Nous contacter

0

Documents  03Cxx | enregistrements trouvés : 90

O

-A +A

P Q

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

- xviii; 366 p.
ISBN 978-1-4704-2966-9

Contemporary mathematics , 0697

Localisation : Collection 1er étage

géométrie algébrique # structure algébrique ordonnée # théorie des modèles # forme quadratique # semigroupe

03Cxx ; 06Fxx ; 11Exx ; 12-XX ; 14Pxx ; 14Qxx ; 32Sxx ; 44A60 ; 54C30 ; 58A07

... Lire [+]

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

- xiv; 656 p.
ISBN 978-3-03719-149-1

EMS series of congress reports

Localisation : Colloque 1er étage (SEGO)

théorie des valuations # défaut # valuation divisorielle # complété # uniformisation locale # géométrie torique # polynôme clef # anneau excellent # anneau local # valuation centrée à un domaine local # arbre valuatif # diviseur dicritique # valuation de Rees # théorème de Izumi # singularité de courbe plane # arbre de Newton # singularité rationnelle de surface # stratification de Whitney # théorème de plongement de Nash # ramification sauvage # système dynamique # polynôme irréductible # polynôme additionnel # corps hilbertien # théorie de Galois # C-minimalité # décomposition cellulaire # élément imaginaire # R-place # corps de Hardy # intégration asymptotique # corps de Hahn # troncation # quasi-valuation théorie des valuations # défaut # valuation divisorielle # complété # uniformisation locale # géométrie torique # polynôme clef # anneau excellent # anneau local # valuation centrée à un domaine local # arbre valuatif # diviseur dicritique # valuation de Rees # théorème de Izumi # singularité de courbe plane # arbre de Newton # singularité rationnelle de surface # stratification de Whitney # théorème de plongement de Nash # ramification sauvage ...

03Cxx ; 12Jxx ; 12E30 ; 12F10 ; 13A18 ; 14H20 ; 14M25 ; 06Fxx ; 11Sxx ; 11U09 ; 12Dxx ; 12E05 ; 12F05 ; 12Gxx ; 12L12 ; 13D40 ; 13F30 ; 13H05 ; 13Jxx ; 13N15 ; 14Bxx ; 14C20 ; 14Exx ; 14F10 ; 14J17 ; 14Hxx ; 14Pxx ; 16W60 ; 32P05 ; 32Sxx ; 37A05 ; 54F50

... Lire [+]

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

- 150 p.
ISBN 978-3-642-11119-8

CIME summer schools , 0069

Localisation : Colloque 1er étage (BRES)

logique # théorie des modèles

03-06 ; 03Cxx ; 00B25

... Lire [+]

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

- x-181 p.
ISBN 978-981-4360-53-1

Localisation : Colloque 1er étage (SING)

logique mathématique # théorie des modèles # informatique

03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx

... Lire [+]

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

- xii; 710 p.
ISBN 978-3-03719-062-3

Series of congress reports

Localisation : Colloque 1er étage (TORU)

algèbre # théorie de la représentation # algèbe commutative # géométrie # topologie # algèbe de Lie # groupe quantique # algèbre homologique # théorie des invariants # théorie des modèles # physique théorique

16Gxx ; 03Cxx ; 05Exx ; 13Axx ; 13Cxx ; 13Hxx ; 14Dxx ; 14Gxx ; 14Lxx ; 14Mxx ; 16Dxx ; 16Exx ; 16Sxx ; 17Bxx ; 18Exx ; 18Gxx ; 20Cxx ; 20Gxx ; 20Jxx ; 32Sxx ; 55Pxx ; 57Mxx ; 81Rxx ; 16-06 ; 16-02 ; 00B25

... Lire [+]

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

- 307 p.

Localisation : Ouvrage RdC (Appl)

modèle # algèbre # analyse # probabilité # nombre non standard # analyse non standard # probabilité non standard # nombre réel non standard # topologie algébrique non standard # intégration non standard # modèle booléen

03Cxx

... Lire [+]

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

- 275 p.
ISBN 978-0-8218-2822-9

Contemporary mathematics , 0296

Localisation : Collection 1er étage

théorie des groupes # théorie combinatoire des groupes # théorie géométrique des groupes # point fixe # groupe libre automorphe # limite de groupes hyperboliques # surface de Riemann compact

20-XX ; 57Mxx ; 03Cxx

... Lire [+]

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

- 419 p.
ISBN 978-0-521-63550-9

London mathematical society lecture note series , 0259

Localisation : Collection 1er étage

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

... Lire [+]

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


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

... Lire [+]

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

- 514 p.
ISBN 978-3-540-60178-4

Lecture notes in computer science , 0960

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Cxx ; 03Fxx

... Lire [+]

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

- 199 p.

Notas de logica matematica , 0039

Localisation : Salle de manutention

MMI indice 3 algèbre libre # RCEP infini # algèbre modale 4-valuée # compacité et compactification en théorie des modèles # discipline de type # fermeture pour algèbre de Heyting symétrique # langage de programmation # logique mathématique # logique vectorielle # métalogique # partition polarisée # principe logique et indépendance de contexte # quasi-variété d'algèbre de De Morgan # spectre et plongement pour groupe ordonné # théorie de la valuation MMI indice 3 algèbre libre # RCEP infini # algèbre modale 4-valuée # compacité et compactification en théorie des modèles # discipline de type # fermeture pour algèbre de Heyting symétrique # langage de programmation # logique mathématique # logique vectorielle # métalogique # partition polarisée # principe logique et indépendance de contexte # quasi-variété d'algèbre de De Morgan # spectre et plongement pour groupe ordonné # théorie de la ...

03-06 ; 03Cxx ; 06D20 ; 06D30 ; 68N15

... Lire [+]

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

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # analyse non standard # logique # logique mathematique # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # epistemologie # logique # logique formelle # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # logique # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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


ISBN 978-3-540-18674-8

Lecture notes in mathematics , 1292

Localisation : Collection 1er étage

classification # logique # systeme logique formel non classique # theorie des modeles

03Cxx

... Lire [+]

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

- 431 p.
ISBN 978-3-540-11161-0

Lecture notes in mathematics , 0891

Localisation : Collection 1er étage

logique

03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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


ISBN 978-0-444-87999-8

Studies in logic and the foundations of mathematics , 0120

Localisation : Colloque 1er étage (MANC)

axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

... Lire [+]

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


ISBN 978-951-95054-8-0

Acta philosophica fennica , 0035

Localisation : Colloque 1er étage (MOSC)

03-06 ; 03Bxx ; 03Cxx

... Lire [+]

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

Publications mathématiques de l'université Paris VII , 0019

Localisation : Publication 1er étage

codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux

03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25

... Lire [+]

Z