ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Resolution Calculus

دانلود کتاب حساب تفکیک

The Resolution Calculus

مشخصات کتاب

The Resolution Calculus

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783642644733, 9783642606052 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 304 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

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



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

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


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

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


توضیحاتی در مورد کتاب حساب تفکیک



این یک ارائه کاملاً جدید از وضوح به عنوان یک حساب منطقی و به عنوان مبنایی برای الگوریتم های محاسباتی و روش های تصمیم گیری است.
بخش اول به موضوعات سنتی (قضیه هربراند، کامل بودن وضوح، اصلاحات و حذف) می پردازد. با بسیاری از ویژگی ها و مفاهیم جدید مانند عادی سازی بندها، عملگرهای وضوح، و پیچیدگی جستجو.
بر اساس این مبنا، بخش دوم به بررسی سیستماتیک موضوعات تحقیقاتی اخیر می پردازد. نشان داده شده است که چگونه روش‌های تصمیم‌گیری قطعنامه را می‌توان برای حل مشکل تصمیم‌گیری برای برخی از کلاس‌های مهم مرتبه اول اعمال کرد. پیچیدگی تفکیک پذیری بر حسب پیچیدگی هربراند تحلیل می شود و مفاهیم جدیدی مانند طرح ریزی زمین برای طبقه بندی پیچیدگی اصلاحات استفاده می شود. در نهایت، روش گسترش عملکردی معرفی شده است. همراه با وضوح، یک محاسبات محاسباتی را ارائه می دهد که قوی تر از بقیه است.


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

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures.
The first part deals with the traditional topics (Herbrand's theorem, completeness of resolution, refinements and deletion) but with many new features and concepts like normalization of clauses, resolution operators, and search complexity.
Building on this foundation, the second part gives a systematic treatment of recent research topics. It is shown how resolution decision procedures can be applied to solve the decision problem for some important first-order classes. The complexity of resolution is analyzed in terms of Herbrand complexity, and new concepts like ground projection are used to classify the complexity of refinements. Finally, the method of functional extension is introduced; combined with resolution it gives a computational calculus which is stronger than most others.



فهرست مطالب

Front Matter....Pages I-VIII
Introduction....Pages 1-4
The Basis of the Resolution Calculus....Pages 5-87
Refinements of Resolution....Pages 89-147
Redundancy and Deletion....Pages 149-210
Resolution as Decision Procedure....Pages 211-252
On the Complexity of Resolution....Pages 253-287
Back Matter....Pages 289-300




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