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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Recursive Introduction to the Theory of Computation

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

مشخصات کتاب

A Recursive Introduction to the Theory of Computation

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: Carl H. Smith  
سری: Graduate Texts in Computer Science 
ISBN (شابک) : 0387943323, 9783540943327 
ناشر: Springer 
سال نشر: 1994 
تعداد صفحات: 156 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب A Recursive Introduction to the Theory of Computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

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

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

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms. From there the book considers the complexity of computations and the notion of a complexity measure is introduced. Finally, the book culminates in considering time and space measures and in classifying computable functions as being either feasible or not. The author assumes only a basic familiarity with discrete mathematics and computing, making this textbook ideal for a graduate-level introductory course. It is based on many such courses presented by the author and so numerous exercises are included. In addition, the solutions to most of these exercises are provided.

فهرست مطالب

Cover......Page __sk_0000.djvu
Copyright......Page __sk_0002.djvu
Contents......Page __sk_0005.djvu
Preface......Page __sk_0003.djvu
Introduction......Page __sk_0007.djvu
1. Models of Computation......Page __sk_0009.djvu
1.1 Random Access Machines......Page __sk_0010.djvu
1.2 Partial Recursive Functions......Page __sk_0013.djvu
1.3 Pairing and Coding......Page __sk_0022.djvu
1.4 Simulating an Execution of a RAM Program......Page __sk_0026.djvu
1.5 Turing Machines......Page __sk_0028.djvu
1.6 Some Other Models......Page __sk_0032.djvu
1.7 A Representation for Programs......Page __sk_0034.djvu
1.8 Historical Notes......Page __sk_0036.djvu
2.1 Acceptable Programming Systems......Page __sk_0037.djvu
2.2 Recursion Theorems......Page __sk_0042.djvu
2.3 Alternative Characterizations......Page __sk_0054.djvu
2.4 The Isomorphism Theorem......Page __sk_0058.djvu
2.5 Algorithmically Unsolvable Problems......Page __sk_0060.djvu
2.6 Recursively Enumerable Sets......Page __sk_0064.djvu
2.7 Historical Notes......Page __sk_0073.djvu
3. Abstract Complexity Theory......Page __sk_0074.djvu
3.1 RAM Pseudospace Measure......Page __sk_0075.djvu
3.2 Abstract Complexity Measures......Page __sk_0076.djvu
3.3 Fundamental Results......Page __sk_0080.djvu
3.4 Complexity Gaps......Page __sk_0083.djvu
3.5 Complexity Compression......Page __sk_0085.djvu
3.6 Speed-up......Page __sk_0086.djvu
3.7 Measures of Program Size......Page __sk_0090.djvu
3.8 Restricted Programming Systems......Page __sk_0094.djvu
3.9 Historical Notes......Page __sk_0096.djvu
4.1 Reducibilities......Page __sk_0097.djvu
4.2 Polynomial Computability......Page __sk_0100.djvu
4.3 The Deterministic Time Hierarchy......Page __sk_0101.djvu
4.4 Nondeterminism......Page __sk_0109.djvu
4.5 An NP-Complete Problem......Page __sk_0115.djvu
4.6 More NP-Complete Problems......Page __sk_0122.djvu
4.7 Historical Notes......Page __sk_0130.djvu
Solutions to Selected Exercises......Page __sk_0131.djvu
List of Symbols......Page __sk_0148.djvu
Index......Page __sk_0150.djvu