دانلود کتاب Reasoning with Logic Programming
49,000 تومان
استدلال با برنامه نویسی منطقی
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 336 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540614885,9783540614883 |
| نوبت چاپ | 1 |
| نویسنده | José Júlio Alferes, Luís Moniz Pereira (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1996 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
استدلال با برنامه نویسی منطقی
به عنوان اولین تک نگاری در این زمینه، این بررسی پیشرفته ارائه دقیقی از برنامه های منطقی به عنوان ابزارهای بازنمایی و استدلال ارائه می دهد.
نویسندگان این کتاب را با موفقیت به عنوان متنی برای دوره کارشناسی ارشد استفاده کردند. استفاده از برنامه نویسی منطقی برای انواع مختلف استدلال، به ویژه برای استدلال غیر یکنواخت، به طور کامل بررسی و نشان داده شده است و انواع فرمالیسم های بازنمایی دانش، مانند نفی پیش فرض، محدودیت های یکپارچگی، قوانین پیش فرض و غیره، به طور عمیق مورد بررسی قرار می گیرند. علاوه بر متن اصلی، پیشزمینه مقدماتی دقیق و اطلاعات انگیزشی همراه با فهرستی از فهرست 215 مدخل و همچنین فهرستی از مفسر Prolog که در متن برای اجرای مثالهای متعدد استفاده میشود، گنجانده شده است.
Reasoning with Logic Programming
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.