ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computability Theory: An Introduction to Recursion Theory

دانلود کتاب نظریه محاسبات: مقدمه ای بر نظریه بازگشت

Computability Theory: An Introduction to Recursion Theory

مشخصات کتاب

Computability Theory: An Introduction to Recursion Theory

دسته بندی: ریاضیات محاسباتی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 0123849586, 9780123849588 
ناشر: Academic Press 
سال نشر: 2010 
تعداد صفحات: 176 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



کلمات کلیدی مربوط به کتاب نظریه محاسبات: مقدمه ای بر نظریه بازگشت: ریاضیات، ریاضیات محاسباتی



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

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


در صورت تبدیل فایل کتاب Computability Theory: An Introduction to Recursion Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب نظریه محاسبات: مقدمه ای بر نظریه بازگشت

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


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

Computability Theory:  An Introduction to Recursion Theory,  provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level.  The text includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science.  Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable way. Frequent historical information presented throughout More extensive motivation for each of the topics than other texts currently available Connects with topics not included in other textbooks, such as complexity theory  



فهرست مطالب

Contents......Page 8
Foreword......Page 10
Preface......Page 12
1.1.1 Decidable Sets......Page 14
1.1.2 Calculable Functions......Page 16
1.1.3 Church\'s Thesis......Page 23
Exercises......Page 24
1.2 Formalizations – An Overview......Page 25
1.2.1 Turing Machines......Page 26
1.2.2 Primitive Recursiveness and Search......Page 31
1.2.3 Loop and While Programs......Page 33
1.2.4 Register Machines......Page 35
1.2.5 Definability in Formal Languages......Page 37
1.2.6 Church\'s Thesis Revisited......Page 39
Exercises......Page 40
2.1 Primitive Recursive Functions......Page 42
2.1.1 Bounded Search......Page 53
2.2 Search Operation......Page 60
Exercises......Page 62
3.1 Register Machines......Page 66
3.2 A Universal Program......Page 73
Exercises......Page 84
3.3 Register Machines Over Words......Page 85
3.4 Binary Arithmetic......Page 89
4. Recursive Enumerability......Page 92
4.1 Recursively Enumerable Relations......Page 94
Exercises......Page 105
4.2 Parameters......Page 106
Exercises......Page 113
5.1 Arithmetical Hierarchy......Page 116
5.2 Definability in Arithmetic......Page 124
5.3 The Complexity of Truth......Page 129
Exercises......Page 133
6.1 Relative Computability......Page 134
6.2 Equivalence Relations......Page 140
6.3 Preordering Relations......Page 143
6.4 Ordering Degrees......Page 144
6.5 Structure of the Degrees......Page 145
Exercises......Page 150
7.1 Feasible Computability......Page 152
7.2 P versus NP......Page 160
7.3 Some Other Complexity Classes......Page 161
Exercises......Page 162
A1. Mathspeak......Page 164
A2. Countability......Page 168
A3. Decadic Notation......Page 172
References......Page 176
ABC......Page 178
DE......Page 180
FGHI......Page 181
JKLMN......Page 182
OP......Page 183
QR......Page 184
S......Page 185
TU......Page 186
VWZ......Page 187




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی