En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03H15 9 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computability theory and its applications :
current trends and open problems
proceedings of a 1999 AMS-IMS-SIAM joint summer research conference on ... held at University of Colorado#June 13-17 Cholak, peter ; Lempp, Steffen ; Lerman, Manuel ; Shore, Richard A. | American Mathematical Society 2000

Congrès

- 320 p.
Cote : 00023241
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Nonstandard analysis for the working mathematician Loeb, Peter A. ; Wolff, Manfred P. H. | Springer 2015

Ouvrage

- xv; 481 p.
Cote : 00039333
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

Localisation : Ouvrage RdC (NONS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic colloquium'82
proceedings of the colloquium held in Florence,23-28 aug.,1982 Lolli, G. ; Longo, G. ; Marcja, A. | North-Holland 1984

Congrès


Cote : 00007604
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

Localisation : Colloque 1er étage (FLOR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Predicative arithmetic Nelson, Edward | Princeton University Press 1986

Ouvrage

- 189 p.
Cote : 00011014
arithmétisation # logique mathématique # mathématiques intuitive # prédicativité

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

Localisation : Ouvrage RdC (NELS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Seminaire d'analyse 1985-1986 | Universite Blaise Pascal (Clermont II) 1986

Congrès


Cote : 00011262
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

Localisation : Salle de manutention

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory and arithmetic :
comptes rendus d'une action thématique programmee du C.N.R.S.. sur la théorie des modèles et l'arithmétique Berline, C. ; Mcaloon, K. ; Ressayre, J. P. | Springer-Verlag 1981

Congrès

- 306 p.
Cote : 00013687
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Nonstandard models of arithmetic and set theory :
AMS special session on...#Jan. 15-16 Enayat, Ali ; Kossak, Roman | American Mathematical Society 2004

Congrès

- 167 p.
Cote : 00028093
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic and its applications Blass, Andreas ; Zhang, Yi | American Mathematical Society 2005

Ouvrage

- 306 p.
Cote : 00028530
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

An introduction to Ramsey theory:
fast functions, infinity, and metamathematics Katz, Matthew ; Reimann, Jan | American Mathematical Society 2018

Ouvrage

- xiv; 207 p.
Cote : 00040629
théorie de Ramsey # analyse combinatoire # infini # cardinaux # théorème de van der Waerden # théorème de Hales-Jewett # fonction rapide # arithmétique de Peano # incomplétude # théorème de Paris-Harrington

05D10 ; 03-01 ; 03E10 ; 03B10 ; 03B25 ; 03D20 ; 03H15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue