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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Feasible Computations and Provable Complexity Properties

دانلود کتاب محاسبات امکان پذیر و ویژگی های پیچیده قابل ارائه

مشخصات کتاب

Feasible Computations and Provable Complexity Properties

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان: Juris Hartmanis  
سری: CBMS-NSF Regional Conference Series in Applied Mathematics 
ISBN (شابک) : 9780898710274, 0898710278 
ناشر: Society for Industrial  Mathematics 
سال نشر: 1987 
تعداد صفحات: 73 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 425 کیلوبایت

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

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

در صورت تبدیل فایل کتاب Feasible Computations and Provable Complexity Properties به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب محاسبات امکان پذیر و ویژگی های پیچیده قابل ارائه

مروری بر تحولات جاری در تحقیق در مورد محاسبات امکان پذیر. و در نظر گرفتن این حوزه تحقیقاتی در رابطه با خواص قابل اثبات پیچیدگی محاسبات.

نویسنده با تعریف و بحث در مورد کاهش کارآمد بین مشکلات شروع می کند و خانواده ها و زبان های کامل متناظر NL، DCSL، CSL، P، NP، PTAPE، EXPTIME، و EXPTAPE را در نظر می گیرد. تعاریف و نتایج به طور یکنواخت به خانواده‌های طبیعی ساده‌تر محاسباتی زبان‌ها مانند NL، P، و CSL با استفاده از کاهش‌های محدود نواری Log n گسترش داده می‌شوند.

مسئله تعیین اینکه چه چیزی را می توان و چه چیزی را نمی توان به طور رسمی در مورد زمان اجرای الگوریتم ها اثبات کرد، مورد بحث قرار گرفته و به مشکل ایجاد محدودیت های زمانی دقیق برای محاسبات ماشین تورینگ یک نواری مربوط می شود، و عدم توانایی در اثبات رسمی زمان اجرا برای الگوریتم ها سپس مربوط به وجود شکاف در سلسله مراتب کلاس های پیچیدگی است.

بحث پایانی در مورد این احتمال است که P=NP معروف؟ مسئله مستقل از بدیهیات سیستم های ریاضی رسمی مانند نظریه مجموعه ها است.

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

An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations.

The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions.

The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes.

The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory.