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 results

Filter
Select: All / None
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.
Call n° : 00004218
arithmétique récursive # calcul # fondement des mathématiques # logique # récursive # récursivité # théorie des nombres

03C57 ; 03D45

Location : Ouvrage RdC (GOOD)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Ouvrage RdC (EFFE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00004214
analyse récursive # arithmétique # calcul # fondement des mathématiques # logique # récursivité # théorie des nombres # épistémologie

03C57 ; 03D45

Location : Ouvrage RdC (GOOD)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00040304
structure calculable # spectre de degré d'une relation # cône de degré de Turing

03D45 ; 03C57

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language