دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Alexander Leitsch سری: Texts in Theoretical Computer Science. An EATCS Series ISBN (شابک) : 9783642644733, 9783642606052 ناشر: Springer سال نشر: 1997 تعداد صفحات: 304 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب 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