m

F Nous contacter

0

Documents  03D30 | enregistrements trouvés : 11

O
     

-A +A

P Q

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.

- vii; 87 p.
ISBN 978-1-4704-1563-1

Memoirs of the american mathematical society , 1135

Localisation : Collection 1er étage

espace Polonais # espace métrique # isomorphisme de Borel # espace de Kleene # espace de Spector-Gandy

03E15 ; 03D30 ; 03D60

... Lire [+]

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

- xv; 214 p.
ISBN 978-981-4612-61-6

Lecture notes series , 0028

Localisation : Ouvrage RdC (HIRS)

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

... Lire [+]

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

- xxviii; 855 p.
ISBN 978-0-387-95567-4

Theory and applications of computability

Localisation : Ouvrage RdC (DOWN)

algorithmique # théorie de l'information # informatique #
complexité de Kolmogorov # théorie de la récurrence

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

... Lire [+]

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

- 99 p.
ISBN 978-0-8218-3885-3

Memoirs of the american mathematical society , 0854

Localisation : Collection 1er étage

théorie de la récursion # finitude # ordinal admissible # énulérable récursivement # plongement de réseau

03D60 ; 03D25 ; 03D30

... Lire [+]

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

- 210 p.

McGraw-Hill series in information porcessing and computers

Localisation : Ouvrage RdC (DAVI)

calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

... Lire [+]

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


ISBN 978-0-8218-2241-8

Memoirs of the american mathematical society , 0241

Localisation : Collection 1er étage

03D30 ; 03D35

... Lire [+]

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

- 437 p.
ISBN 978-3-540-15299-6

Perspectives in Mathematical Logic

Localisation : Ouvrage RdC (SOAR)

degré de réductibilité # ensemble énumérable recursivement # récursion

03D10 ; 03D25 ; 03D30

... Lire [+]

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

- 307 p.
ISBN 978-0-387-12155-0

Perspectives in mathematical logic

Localisation : Ouvrage RdC (LERM)

degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis

03D20 ; 03D25 ; 03D30 ; 03D35 ; 03D55

... Lire [+]

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

- 482 p.

McGraw-Hill series in higher mathematics

Localisation : Ouvrage RdC (ROGE)

calculabilité effective # degré d'insolvabilité # ensemble récursif et énumérable récursivement # hiérarchie analytique et arithmétique # problème de Post # problème insoluble # réductibilité de Turing # théorie des fonctions récursives

03D03 ; 03D20 ; 03D25 ; 03D30 ; 03D55

... Lire [+]

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

- 240 p.
ISBN 978-0-387-09710-7

Lecture notes in mathematics , 0759

Localisation : Collection 1er étage

03-02 ; 03D30 ; 03D35 ; 03F30

... Lire [+]

Z