دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب From Logic to Logic Programming
دانلود کتاب از منطق تا برنامه نویسی منطق
مشخصات کتاب
From Logic to Logic Programming
ویرایش:
نویسندگان: Kees Doets
سری: Foundations of Computing
ISBN (شابک) : 0262041421, 9780262041423
ناشر: The MIT Press
سال نشر: 1994
تعداد صفحات: 216
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب From Logic to Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب از منطق تا برنامه نویسی منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب از منطق تا برنامه نویسی منطق
این مقدمه ریاضی گرا برای تئوری برنامه ریزی منطقی، توضیحی سیستماتیک از روش تفکیک برای منطق های گزاره ای، مرتبه اول و شاخ بند را همراه با تجزیه و تحلیل جنبه های معنایی روش ارائه می دهد. از طریق قاعده استنتاج وضوح است که هم اثبات و هم محاسبات را می توان بر روی رایانه دستکاری کرد، و این کتاب حاوی نسخه های زیبا و اثبات قضایای اساسی و لم های نظریه اثبات برنامه ریزی منطقی است. موضوعات پیشرفته مانند پیچیدگی بازگشتی و نفی به عنوان شکست و معنای آن پوشش داده شده است، و تنظیمات ساده برای وضوح SLD و SLDNF شرح داده شده است. Doets یک رویکرد جدید برای وضوح ارائه می دهد که در مورد مرتبه اول و مورد برنامه های منطقی (مثبت) اعمال می شود. برخلاف رویکرد معمول، مفهوم حل‌کننده به‌صورت غیرسازنده، بدون توسل به مفهوم یکپارچه‌سازی، تعریف می‌شود و اجازه می‌دهد تا اثبات‌های صحت و کامل بودن به روشی اقتصادی‌تر انجام شود. سایر مطالب جدید شامل نتایج محاسباتی است که با سلسله مراتب تحلیلی، نتایج بر روی مشتقات بی نهایت و نمایش برنامه های منطقی عمومی با استفاده از منطق 3 ارزشی سروکار دارد.
توضیحاتی درمورد کتاب به خارجی
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.
