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 Hirschfeldt, Denis R. 4 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algorithmic randomness and complexity Downey, Rodney G. ; Hirschfeldt, Denis R. | Springer 2010

Ouvrage

- xxviii; 855 p.
Call n° : 00036327
algorithmique # théorie de l'information # informatique #
complexité de Kolmogorov # théorie de la récurrence

03D25 ; 03D30 ; 03D80 ; 68Q30 ; 68-99 ; 03D32

Location : Ouvrage RdC (DOWN)

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

Slicing the truth:
on the computable and reverse mathematics of combinatorial principles Hirschfeldt, Denis R. | World Scientific 2015

Ouvrage

- xv; 214 p.
Call n° : 00039184
ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA

03-02 ; 03B30 ; 03F35 ; 03D30 ; 03D80 ; 03E05 ; 05D10

Location : Ouvrage RdC (HIRS)

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

List: nb of elts/page

Select: All / None