m

F Nous contacter

0

Documents  03H15 | enregistrements trouvés : 8

O
     

-A +A

P Q

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.

- 320 p.
ISBN 978-0-8218-1922-7

Contemporary mathematics , 0257

Localisation : Collection 1er étage

application de la calculabilité # arithmétique # arithmétique d"ordre élevé # degré # degré de Turin # ensemble récursivement énumérable # fonction calculable # logique # modèle nonstandard # numération # récurrence # réductibilité # théorie de récurrence # théorie des modèles # théorie descriptive des ensembles

03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03H15

... Lire [+]

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

- 306 p.
ISBN 978-3-540-11159-7

Lecture notes in mathematics , 0890

Localisation : Collection 1er étage

arithmétique de premier ordre # fondement de la logique mathématique # logique mathématique # modèle d'arithmétique # théorie de la preuve # théorie des ensembles # théorie des modèles

03-06 ; 03C55 ; 03C65 ; 03H15

... Lire [+]

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

Séminaire d'analyse

Localisation : Salle de manutention

analyse non standard # analyse stochastique # attracteur # axiome de choix # fonction Gamma p-adique # homologie # moiré # ordinateur # processus stochastique # produit croulant

03H05 ; 03H15 ; 26E35 ; 60Gxx ; 60Hxx

... Lire [+]

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


ISBN 978-0-444-86876-3

Studies in logic and the foundations of mathematics , 0112

Localisation : Colloque 1er étage (FLOR)

NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

... Lire [+]

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

- xv; 481 p.
ISBN 978-94-017-7326-3

Localisation : Ouvrage RdC (NONS)

analyse non standard # principe de transfert # principe de définition de Keisler # principe de débordement # saturation # théorie de la mesure non standard # mesure de Loeb # espace de Loeb # mouvement Brownien # intégrale de Itô # espace de Wiener # transformation de Girsanov # mathématiques économiques # équilibre de Nash # analyse du risque

03-00 ; 03H05 ; 03H10 ; 03H15 ; 28E05 ; 26E35 ; 46S20 ; 47S20 ; 54J05 ; 60H99 ; 91B99 ; 00B15

... Lire [+]

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

- 306 p.
ISBN 978-0-8218-3474-9

Contemporary mathematics , 0380

Localisation : Collection 1er étage

espace nucléaire # logique # modèle non-standard # théorie des ensembles # ultrafiltre # définissabilité # conjecture de Schanuel

03-06 ; 03C35 ; 03C45 ; 03C60 ; 03C95 ; 03C98 ; 03E05 ; 03E15 ; 03F30 ; 03H15 ; 03Cxx ; 03Exx

... Lire [+]

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

- 189 p.
ISBN 978-0-691-08455-8

Mathematical notes , 0032

Localisation : Ouvrage RdC (NELS)

arithmétisation # logique mathématique # mathématiques intuitive # prédicativité

03Exx ; 03Fxx ; 03H15 ; 11-02

... Lire [+]

Z