دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: William I. Gasarch, Georgia A. Martin (auth.) سری: Progress in Computer Science and Applied Logic 16 ISBN (شابک) : 9781461268482, 9781461206354 ناشر: Birkhäuser Basel سال نشر: 1999 تعداد صفحات: 355 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 26 مگابایت
کلمات کلیدی مربوط به کتاب پرس و جوهای محدود در نظریه بازگشت: کاربردهای ریاضی در علوم کامپیوتر، تئوری عملگر، نظریه محاسبات، ریاضیات گسسته در علوم کامپیوتر، ریاضیات محاسباتی و آنالیز عددی، کاربردهای ریاضیات
در صورت تبدیل فایل کتاب Bounded Queries in Recursion Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پرس و جوهای محدود در نظریه بازگشت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
یکی از دغدغههای اصلی علم کامپیوتر نظری، طبقهبندی مسائل از نظر سختی آنهاست. معیار طبیعی دشواری یک تابع، مقدار زمان مورد نیاز برای محاسبه آن است (به عنوان تابعی از طول ورودی). منابع دیگری مانند فضا نیز در نظر گرفته شده است. در مقابل، در نظریه بازگشت، در صورتی که یک تابع وجود داشته باشد که آن را محاسبه کند، محاسبه آن آسان است. ما می خواهیم توابعی را که سخت هستند، یعنی قابل محاسبه نیستند، به روش کمی طبقه بندی کنیم. ما نمی توانیم از زمان یا مکان استفاده کنیم، زیرا توابع حتی قابل محاسبه نیستند. ما نمی توانیم از درجه تورینگ استفاده کنیم، زیرا این مفهوم کمی نیست. از این رو ما به مفهوم جدیدی از پیچیدگی نیاز داریم - بسیار شبیه زمان یا فضا - که کمی است و در عین حال به نوعی سطح دشواری (مانند درجه تورینگ) یک تابع را نشان می دهد.
One of the major concerns of theoretical computer science is the classifi cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac~that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function.
Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Basic Concepts....Pages 3-42
Bounded Queries and the Halting Set....Pages 43-52
Definitions and Questions....Pages 53-73
Front Matter....Pages 75-75
The Complexity of C n A ....Pages 77-141
# n A and Other Functions....Pages 143-182
Front Matter....Pages 183-183
The Complexity of ODD n A and MOD m n A ....Pages 185-216
Q Versus QC....Pages 217-253
Separating and Collapsing Classes....Pages 255-269
Front Matter....Pages 271-271
Nondeterministic Complexity....Pages 273-293
The Literature on Bounded Queries....Pages 295-324
Back Matter....Pages 325-353