دانلود کتاب Automated deduction in multiple-valued logics
49,000 تومان
کسر خودکار در منطق های چند ارزشی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Clarendon Press; Oxford University Press |
| تعداد صفحه | 177 |
| حجم فایل | 816 کیلوبایت |
| کد کتاب | 9780198539896,0198539894 |
| نویسنده | Reiner Hähnle |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1993 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
کسر خودکار در منطق های چند ارزشی
این کتاب یک رویکرد مستقل و یکپارچه برای استدلال خودکار در منطق های چند ارزشی (MVL) را تشکیل می دهد. این اولین بررسی اجمالی از این حوزه است و شامل یک گزارش تقریباً کامل از سایر رویکردهای استدلال خودکار در MVL است. روشهای اثبات قضیه کارآمد در MVL برای بسیاری از کاربردها ضروری است، با این حال رویکردهای موجود ناکافی هستند. در اینجا، نویسنده نشان می دهد که چگونه استدلال خودکار در منطق های بی نهایت ارزش می تواند به طور یکنواخت و کارآمد برای اولین بار انجام شود. استدلال خودکار در منطق غیر کلاسیک یکی از وظایف اصلی بسیاری از عملیات هوش مصنوعی است. کاربردهای MVL به ویژه شامل تأیید سخت افزار و نرم افزار، استدلال با دانش ناقص یا متناقض، و پردازش زبان طبیعی است. بنابراین این کتاب منبع ارزشمندی برای دانشمندان نظری کامپیوتر، محققان و دانشجویان فارغ التحصیل و همچنین منطق دانان خواهد بود.
Automated deduction in multiple-valued logics
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL). It is the first overview of this area, and it contains a virtually complete account of other approaches to automated reasoning in MVL. Efficient theorem proving methods in MVL are essential for many applications, however existing approaches are inadequate. Here, the author shows how automated reasoning in infinitely valued logics can be done uniformly and efficiently for the first time. Automated reasoning in non-classical logics is a key subtask of many artificial intelligence operations. Applications of MVL in particular include hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. The book will thus be a valuable resource for theoretical computer scientists, researchers, and graduate students, as well as for logicians.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.