دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Robert A. Kowalski سری: Artificial intelligence series, The Computer science library ISBN (شابک) : 9780444003683, 0444003657 ناشر: Elsevier North Holland سال نشر: 1979 تعداد صفحات: 298 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Logic for problem solving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق حل مسئله نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
به بررسی کاربرد منطق در حل مسئله و برنامه نویسی رایانه می پردازد. نیازی به دانش قبلی در این زمینه ندارد و بنابراین می توان از آن به عنوان مقدمه ای برای منطق، نظریه حل مسئله و برنامه نویسی کامپیوتر استفاده کرد.
Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming
Content: Preface
Acknowledgements
Background (Themes 1-4)
Overview (Themes 5-8)
First-order logic (Themes 9-13)
Clausal-form logic (Themes 14-18)
Problem solving (Themes 19-22)
The Herbrand domain (Themes 23-25)
Resolution (Themes 26-30)
Programming with SLD-resolution (Themes 31-39)
Semantics of definite programs (Themes 48-53)
Programming with finite failure (Themes 54-58)
Verifying programs (Themes 59-60)
Answers to exercises
Index