ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Descriptive Complexity

دانلود کتاب پیچیدگی توصیفی

Descriptive Complexity

مشخصات کتاب

Descriptive Complexity

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Graduate Texts in Computer Science 
ISBN (شابک) : 0387986006, 9780387986005 
ناشر: Springer 
سال نشر: 1998 
تعداد صفحات: 284 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



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

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


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

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


توضیحاتی در مورد کتاب پیچیدگی توصیفی

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


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

A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in first-order logic. By virtue of the close relationship between logic and relational databases, it turns out that this subject has important applications to databases such as analyzing the queries computable in polynomial time, analyzing the parallel time needed to compute a query, and the analysis of non-deterministic classes. This book is written as a graduate text and so aims to provide a reasonably self-contained introduction to this subject. The author has provided numerous examples and exercises to further illustrate the ideas presented.



فهرست مطالب

Introduction.- Background in Logic.- Background in Complexity.- First-Order Reductions.- Inductive Definitions.- Parallelism.- Ehrenfeucht-Fraisse Games.- Second-Order Logic and Fagin's Theorem.- Second-Order Lower Bounds.- Complementation and Transitive Closure.- Polynomial Space.- Uniformity and Precomputation.- The Role of Ordering.- Lower Bounds.- Applications.- Conclusions and Future Directions




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