Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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.
- 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.
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.
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.
- 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.
- 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.
- 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.
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.
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.
- 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.
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.
- 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.
- 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.
- 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.
- 31 p.
Publication de l'IRMA, Strasbourg , 0023
Localisation : Salle de manutention
analyse complexe infinitésimale # analyse non standard # équation aux différences
03Hxx ; 30Exx ; 39Axx
... Lire [+]
