ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Automated deduction in multiple-valued logics

دانلود کتاب کسر خودکار در منطقهای چندگانه

Automated deduction in multiple-valued logics

مشخصات کتاب

Automated deduction in multiple-valued logics

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: International series of monographs on computer science 10 
ISBN (شابک) : 9780198539896, 0198539894 
ناشر: Clarendon Press; Oxford University Press 
سال نشر: 1993 
تعداد صفحات: 177 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 816 کیلوبایت

قیمت کتاب (تومان) : 44,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Automated deduction in multiple-valued logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کسر خودکار در منطقهای چندگانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کسر خودکار در منطقهای چندگانه

این کتاب یک رویکرد مستقل و یکپارچه برای استدلال خودکار در منطق های چند ارزشی (MVL) را تشکیل می دهد. این اولین نمای کلی از این حوزه است و شامل یک گزارش تقریباً کامل از سایر رویکردهای استدلال خودکار در MVL است. روش‌های اثبات قضیه کارآمد در MVL برای بسیاری از کاربردها ضروری است، با این حال رویکردهای موجود ناکافی هستند. در اینجا، نویسنده نشان می‌دهد که چگونه استدلال خودکار در منطق‌های بی‌نهایت ارزش را می‌توان به طور یکنواخت و کارآمد برای اولین بار انجام داد. استدلال خودکار در منطق غیر کلاسیک یکی از وظایف اصلی بسیاری از عملیات هوش مصنوعی است. کاربردهای MVL به ویژه شامل تأیید سخت افزار و نرم افزار، استدلال با دانش ناقص یا متناقض، و پردازش زبان طبیعی است. بنابراین این کتاب منبع ارزشمندی برای دانشمندان نظری کامپیوتر، محققان و دانشجویان فارغ التحصیل و همچنین منطق دانان خواهد بود.


توضیحاتی درمورد کتاب به خارجی

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.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی