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 03C57 7 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

Recursive number theory :
a development of recursive arithmetic in a logic-free equation calculus Goodstein, R. L. | North-Holland Publishing Co. 1964

Ouvrage

- 190 p.
Cote : 00004218
arithmétique récursive # calcul # fondement des mathématiques # logique # récursive # récursivité # théorie des nombres

03C57 ; 03D45

Localisation : Ouvrage RdC (GOOD)

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

Nine papers from the international congress of mathematicians Bashmakova, I. G. ; Belyi, G. V. ; Gluskin, E. D. | American Mathematical Society 1990

Congrès

- 100 p.
Cote : 00018496
approximation rationnelle de fonction analytique # complexité monotone # espace de dimension infinie # fonction booléenne # groupe de Galois # homéomorphisme du cercle # méthode numérique d'algèbre linéaire # probabilité en géométrie d'espace de Banach # processus aléatoire # précision garantie # série de Fourier # théorie axiomatisable finiment # équation diophantienne # évolution de l'algèbre

03C57 ; 11-03 ; 11D09 ; 11R32 ; 30E10

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

Effective mathematics of the uncountable Greenberg, Noam ; Hamkins, Joel David ; Hirschfeldt, Denis R. ; Miller, Russell | Cambridge University Press ; Association for Symbolic Logic 2013

Ouvrage

- viii; 197 p.
Cote : 00038880
théorie des modèles # algèbre commutative # algèbre différentielle # théorie des graphes # théorie des ensembles

03-06 ; 03B30 ; 03C57 ; 03Dxx ; 03E15 ; 00B25

Localisation : Ouvrage RdC (EFFE)

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

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Hirschfeldt, Denis R. ; Lange, Karen ; Shore, Richard A. | American Mathematical Society 2017

Ouvrage

- v; 101 p.
Cote : 00040012
mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène

03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35

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

Recursive analysis Goodstein, R. L. | North-Holland Publishing Co. 1961

Ouvrage

- 138 p.
Cote : 00004214
analyse récursive # arithmétique # calcul # fondement des mathématiques # logique # récursivité # théorie des nombres # épistémologie

03C57 ; 03D45

Localisation : Ouvrage RdC (GOOD)

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

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

Degree spectra of relations on a cone Harrison-Trainor, Matthew | American Mathematical Society 2018

Ouvrage

- v; 107 p.
Cote : 00040304
structure calculable # spectre de degré d'une relation # cône de degré de Turing

03D45 ; 03C57

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