Atjaunināt sīkdatņu piekrišanu

E-grāmata: Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Mathematics 1432
  • Izdošanas datums: 14-Nov-2006
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783540471424
  • Formāts - PDF+DRM
  • Cena: 32,11 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Mathematics 1432
  • Izdošanas datums: 14-Nov-2006
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783540471424

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.

Papildus informācija

Springer Book Archives
Honest polynomial reductions and exptally sets.- On the structure of
degrees below O?.- Positive solutions to Post's problem.- The metamathematics
of Fraļssé's order type conjecture.- Enumeration reducibility,
nondeterministic computations and relative computability of partial
functions.- Notes on the O? priority method with special attention to density
results.- Array nonrecursive sets and multiple permitting arguments.-
Superbranching degrees.- A direct construction of a minimal recursively
enumerable truth-table degree.- ?2-induction and the construction of a high
degree.- Undecidability and initial segments of the wtt-degrees ?0?.-
Randomness and generalizations of fixed point free functions.- Recursive
enumeration without repetition revisited.- Priority arguments using iterated
trees of strategies.- On the relationship between the complexity, the degree,
and the extension of a computable set.- Polynomially isolated sets.- A
characterization of effective topological spaces.