دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984
دانلود کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در Oberwolfach ، آلمان غربی در 15 تا 21 آوریل 1984 برگزار شد
مشخصات کتاب
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984
ویرایش: [1 ed.] نویسندگان: Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.) سری: Lecture Notes in Mathematics 1141 ISBN (شابک) : 9780387156736, 0387156739 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1985 تعداد صفحات: 420 [426] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در Oberwolfach ، آلمان غربی در 15 تا 21 آوریل 1984 برگزار شد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در Oberwolfach ، آلمان غربی در 15 تا 21 آوریل 1984 برگزار شد
حاشیه نویسی این مقالات حاوی مقالات تحقیق و بررسی از بسیاری از زیرشاخه های نظریه بازگشت، با تاکید بر نظریه درجه، به ویژه توسعه چارچوب هایی برای تکنیک های فعلی در این زمینه است. سایر موضوعات تحت پوشش عبارتند از نظریه پیچیدگی محاسباتی، نظریه بازگشت تعمیم یافته، سؤالات نظری اثبات در نظریه بازگشت، و ریاضیات بازگشتی.
توضیحاتی درمورد کتاب به خارجی
Annotation 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.
فهرست مطالب
Generators of the recursively enumerable degrees....Pages 1-28
Kleene degrees of ultrafilters....Pages 29-48
Recursion theory on strongly Σ 2 inadmissible ordinals....Pages 49-64
Applications of the low-basis theorem in arithmetic....Pages 65-88
Strong reducibilities in α- and β-recursion theory....Pages 89-120
Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees....Pages 121-140
An immune partition of the ordinals....Pages 141-147
Probabilistic machines, oracles, and quantifiers....Pages 148-158
Minimal polynomial degrees of nonrecursive sets....Pages 159-192
Genericity for recursively enumerable sets....Pages 193-202
Sets of everywhere singular functions....Pages 203-232
On the ordering of classes in high/low hierarchies....Pages 233-244
Generic objects in recursion theory....Pages 245-259
The structure of m-degrees....Pages 260-270
Some open questions in recursion theory....Pages 271-314
Absolute type 2 objects....Pages 315-332
Recursion theoretic aspects of the dual ramsey theorem....Pages 333-342
Reflection and the priority method in E-recursion theory....Pages 343-356
Subrecursive ordinals....Pages 357-371
....Pages 372-404
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Forging History: The Detection of Fake Letters & Documents
دانلود کتاب Oracle Database Performance and Scalability: A Quantitative Approach
دانلود کتاب Cytokines and the Brain
دانلود کتاب How to memorize music: a practical approach for non-geniuses
