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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Many-Dimensional Modal Logics: Theory and Applications

دانلود کتاب منطق مودال چند بعدی: نظریه و کاربردها

مشخصات کتاب

Many-Dimensional Modal Logics: Theory and Applications

دسته بندی: منطق
ویرایش:  
نویسندگان: Dov M. Gabbay  
سری: Studies in Logic and the Foundations of Mathematics, Volume 148 
 
ناشر: Elsevier Science 
سال نشر: 2004 
تعداد صفحات: 730 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 30 مگابایت

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

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

در صورت تبدیل فایل کتاب Many-Dimensional Modal Logics: Theory and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب منطق مودال چند بعدی: نظریه و کاربردها

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

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

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.