Muutke küpsiste eelistusi

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

Edited by , Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Mathematics 1432
  • Ilmumisaeg: 14-Nov-2006
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540471424
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 33,33 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989Suurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Mathematics 1432
  • Ilmumisaeg: 14-Nov-2006
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540471424
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.

Muu info

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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97835404714242e.html
Märksõnad: