ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Handbook of computability theory

دانلود کتاب کتاب راهنمای تئوری محاسبه

Handbook of computability theory

مشخصات کتاب

Handbook of computability theory

دسته بندی: منطق
ویرایش: 1st ed 
نویسندگان:   
سری: Studies in logic and the foundations of mathematics 140 
ISBN (شابک) : 0444898824, 9780080533049 
ناشر: Elsevier 
سال نشر: 1999 
تعداد صفحات: 710 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 52,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 18


در صورت تبدیل فایل کتاب Handbook of computability theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کتاب راهنمای تئوری محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کتاب راهنمای تئوری محاسبه

فصول این جلد همگی سطح ارائه خاص خود را دارند. موضوعات بر اساس علاقه پژوهشی فعال مرتبط با آنها انتخاب شده اند. از آنجایی که علاقه به برخی موضوعات قدیمی‌تر از موضوعات دیگر است، برخی از ارائه‌ها حاوی تعاریف بنیادی و نتایج اساسی هستند در حالی که برخی دیگر به نظریه ابتدایی بسیار کمی مربوط می‌شوند و مستقیماً به ارائه نتایج پیشرفته می‌پردازند. ارائه های نوع دوم در برخی موارد به بررسی کوتاهی از نتایج اخیر (به دلیل پیچیدگی خود روش ها و اثبات ها) محدود می شود. از این رو، تنوع در سطح ارائه از فصلی به فصل دیگر، فقط خود موقعیت مفهومی را منعکس می کند. یکی از نمونه‌های آن، تلاش‌های جمعی برای ایجاد یک نظریه قابل قبول از محاسبات بر روی اعداد واقعی است. در دو دهه گذشته حداقل دو تعریف جدید از عملیات موثر بر روی اعداد واقعی دیده شده است.


توضیحاتی درمورد کتاب به خارجی

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.



فهرست مطالب

Cover ......Page 1
Copyright ......Page 2
Preface ......Page 3
List of Contributors ......Page 6
Contents ......Page 7
Part 1: Fundamentals of Computability Theory ......Page 9
1. The history and concept of computability / R.I. Soare ......Page 11
2. П01 classes in recursion theory / D. Cenzer ......Page 45
Part 2: Reducibilities and Degrees ......Page 95
3. Reducibilities / P. Odifreddi ......Page 97
4. Local degree theory / S.B. Cooper ......Page 129
5. The global structure of the Turing degrees / T.A. Slaman ......Page 163
6. The recursively enumerable degrees / R.A. Shore ......Page 177
7. An overview of the computably enumerable sets / R.I. Soare ......Page 207
Part 3: Generalized Computability Theory ......Page 257
8. The continuous functionals / D. Normann ......Page 259
9. Ordinal recursion theory / C.T. Chong and S.D. Friedman ......Page 285
10. E-recursion / G.E. Sacks ......Page 309
11. Recursion on abstract structures / P.G. Hinman ......Page 323
Part 4: Mathematics and Computability Theory ......Page 369
12. Computable rings and fields / V. Stoltenberg-Hansen and J.V. Tucker ......Page 371
13. The structure of computability in analysis and physical theory: An extension of Church\'s thesis / M.B. Pour-El ......Page 457
14. Theory of numberings / Y.L. Ershov ......Page 481
Part 5: Logic and Computability Theory ......Page 513
15. Pure recursive model theory / T.S. Millar ......Page 515
16. Classifying recursive functions / H. Schwichtenberg ......Page 541
Part 6: Computer Science and Computability Theory ......Page 595
17. Computation models and function algebras / P. Clote ......Page 597
18. Polynomial time reducibilities and degrees / K. Ambos-Spies ......Page 691
Author Index ......Page 715
Subject Index ......Page 723




نظرات کاربران