دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989
دانلود کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در اوبروافلاچ ، FRG ، 19-25 مارس 1989 انجام شد
مشخصات کتاب
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Klaus Ambos-Spies, Steven Homer, Dongping Yang (auth.), Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks (eds.) سری: Lecture Notes in Mathematics 1432 ISBN (شابک) : 3540527729, 0387527729 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 394 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در اوبروافلاچ ، FRG ، 19-25 مارس 1989 انجام شد: منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در اوبروافلاچ ، FRG ، 19-25 مارس 1989 انجام شد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هفته تئوری بازگشت: مجموعه مقالات کنفرانسی که در اوبروافلاچ ، FRG ، 19-25 مارس 1989 انجام شد
این مقالات حاوی مقالات تحقیقی و نظرسنجی از بسیاری از زمینه‌های فرعی نظریه بازگشت، با تأکید بر نظریه درجه، به ویژه توسعه چارچوب‌هایی برای تکنیک‌های فعلی در این زمینه است. سایر موضوعات تحت پوشش عبارتند از نظریه پیچیدگی محاسباتی، نظریه بازگشت تعمیم یافته، سؤالات نظری اثبات در نظریه بازگشت، و ریاضیات بازگشتی.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Honest polynomial reductions and exptally sets....Pages 1-22
On the structure of degrees below O′....Pages 23-32
Positive solutions to Post\'s problem....Pages 33-40
The metamathematics of Fraïssé\'s order type conjecture....Pages 41-56
Enumeration reducibility, nondeterministic computations and relative computability of partial functions....Pages 57-110
Notes on the O‴ priority method with special attention to density results....Pages 111-140
Array nonrecursive sets and multiple permitting arguments....Pages 141-173
Superbranching degrees....Pages 175-186
A direct construction of a minimal recursively enumerable truth-table degree....Pages 187-204
Σ 2 -induction and the construction of a high degree....Pages 205-221
Undecidability and initial segments of the wtt-degrees ≤0′....Pages 223-244
Randomness and generalizations of fixed point free functions....Pages 245-254
Recursive enumeration without repetition revisited....Pages 255-275
Priority arguments using iterated trees of strategies....Pages 277-296
On the relationship between the complexity, the degree, and the extension of a computable set....Pages 297-322
Polynomially isolated sets....Pages 323-362
A characterization of effective topological spaces....Pages 363-387
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Innovation in information technology
دانلود کتاب ARRL/CRRL Amateur Radio 9th Computer Networking Conference, London, Ontario Cana
دانلود کتاب Defect and Material Mechanics: Proceedings of the International Symposium on Defect and Material Mechanics
دانلود کتاب Topics in Cryptology — CT-RSA 2001: The Cryptographers’ Track at RSA Conference 2001 San Francisco, CA, USA, April 8–12, 2001 Proceedings
دانلود کتاب Real-Time and Embedded Computing Systems and Applications 9th International Conference Tainan City Taiwan
دانلود کتاب Managing Worldwide Operations and Communications with Information Technology: 2007 Information Resources Management Association International Conference, Vancouver, British Columbia, Canada May 19-23, 2007
دانلود کتاب Algorithmic Aspects in Information and Management: Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings
دانلود کتاب STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
دانلود کتاب Proceedings of the 6th SIAM International Conference on Data Mining
