m

F Nous contacter

0

Documents  03Hxx | enregistrements trouvés : 23

O

-A +A

P Q

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

- 279 p.

Localisation : Colloque 1er étage (OBER)

équation différentielle # feuilletage # analyse non-standard

34Cxx ; 53Cxx ; 03Hxx

... Lire [+]

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

- 275 p.

Astérisque , 0107

Localisation : Colloque 1er étage (SCHN)

analyse non standard # application # feuilletage # géométrie de contact # géométrie symplectique # équation de Pfaff

03Hxx ; 53-06 ; 53C12 ; 53C15 ; 58F05

... Lire [+]

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

Proceedings of symposia in pure mathematics , 0005

Localisation : Collection 1er étage

ambiguité et paradoxe # calculateur digital # fonction récursive # forme de négation de prédicat # générateur de suite # hiérarchie # isol # langage mécanique # machine de Turing universelle # mathématique intuitioniste # modèle non-standard # programme informatique # système de Post Tag # système formel # théorie des nombres # vérification de preuve mathématique

03D20 ; 03D55 ; 03Dxx ; 03F55 ; 03Hxx

... Lire [+]

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


ISBN 978-3-540-51527-2

Lecture notes in mathematics , 1388

Localisation : Collection 1er étage

logique mathematique

03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

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

Localisation : Séminaire 1er étage

analyse non standard # analyse p-adique # approximation diophantienne # corps de nombres algébriques # ensemble d'analyticité # ensemble lacunaire # extension cyclique de corps quadratique # fonction zêta p-adique # structure de p-groupe de classes de corps cyclotomique # théorie des nombres # unité d'un corps de nombres algébriques

03Hxx ; 11-06 ; 11Jxx ; 11Sxx ; 12L15

... Lire [+]

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

- 396 p.
ISBN 978-0-387-13900-5

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... Lire [+]

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

Localisation : Salle de manutention

algèbre stellaire # analyse # analyse non standard # approximation de fonction analytique # convexe compact # cône réticulé # ensemble uniformément négligeable # espace fortement réticulé # simplexe compact # topologie faciale

03Hxx ; 26E05 ; 46A55 ; 46Axx ; 52Axx

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

- 111 p.
ISBN 978-3-540-41384-4

Lecture notes in mathematics , 1751

Localisation : Collection 1er étage

mesure non-standard # modèle non-standard # mesure de Loeb # mathématiques financières # analyse non-standard # EDP # construction de mesure # fluide incompressible # dynamique des fluides stochastique # analyse stochastique # équation de Navier-Stockes # calcul de variation # modèle de Black-Scholes

03Hxx ; 26E35 ; 28E05 ; 76M35 ; 60Hxx ; 76B03

... Lire [+]

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

Lecture notes in mathematics , 0094

Localisation : Collection 1er étage

analyse non-standard # ensemble nucléaire # espace compact # espace homogène # espace topologique # filtre # fonction en espace uniforme ou en espace de proximité # groupe topologique # langage L cursif # représentation et produit # structure uniforme # système standard ou non- standard # théorie de Robinson # univers du discours # élargissement du U cursif

03Hxx ; 54A05 ; 54E05 ; 54E15

... Lire [+]

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


ISBN 978-2-87209-440-0

Cahiers du Centre de Logique , 0009

Localisation : Disparu

analyse non standard constructive # intégration # limite d'espace métrique # nombre naturel # nombre pair # résolution d'équation différentielle par méthode infinitésim # ultraproduit # vérité approximative

03-06 ; 03Fxx ; 03Hxx ; 11-XX ; 28-XX

... Lire [+]

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

Localisation : Disparu

analyse non standard # développement asymptotique de canard à pôle # ensemble hyperfini # falaise de polynôme de Taylor # fonction epsilon-régulière # hyperréel # loupe # superstructure # ultrapuissance # équation de Schrödinger unidimensionnelle stationnaire

03-06 ; 03Hxx ; 34Axx ; 81Qxx

... Lire [+]

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

- 264 p.
ISBN 978-3-528-03072-8

Localisation : Ouvrage RdC (RICH)

axiome de l'analyse non-standard réelle et complexe # espace topologique # extension non-standard # fondement # logique mathématique # monade # nombre hyperréel # point idéal

03Hxx ; 30G06 ; 54J05

... Lire [+]

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

- 271 p.

The university of arkansas lecture notes in mathematics , 0003

Localisation : Ouvrage RdC (ISEK)

logique générale # fondation de lathéorie classique # géométrie

03Hxx ; 26E30 ; 26E35

... Lire [+]

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

- 475 p.
ISBN 978-90-277-1137-3

Synthese library , 0149

Localisation : Ouvrage RdC (Mode)

histoire et biographie # histoire des mathématiques et des mathématiciens # 20ème siècle # logique mathématique et fondation

03-02 ; 03A05 ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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

- 582 p.
ISBN 978-0-300-02072-4

Localisation : Oeuvres complètes RdC (ROBI)

analyse non standard # philosophie des mathématiques # Robinson # oeuvres complètes

00A30 ; 01A60 ; 01A75 ; 03Hxx

... Lire [+]

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

- 60 p.

Localisation : Salle de manutention

agrandissements successifs d'un ensemble de sentences # analyse non standard # ensemble interne avec graduation # préformalisation de la théorie des agrandissements successif # théorie des infinitésimaux # équation différentielle presque périodique

03Hxx ; 26E35 ; 34Cxx

... Lire [+]

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

- 14 p.

Publication de l'Institut de Recherche Mathématique Avancée

Localisation : Salle de manutention

03Hxx ; 34Exx

... Lire [+]

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

- 15 p.

Prépublication de l'I.R.M.A. , 0040

Localisation : Salle de manutention

analyse complexe infinitésimale # analyse non standard # fonction périodique # équation aux différences

03Hxx ; 30Cxx ; 30Exx ; 39Axx

... Lire [+]

Z