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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Advances in modal logic

دانلود کتاب پیشرفت در منطق مدال

مشخصات کتاب

Advances in modal logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Frank Wolter,  Heinrich Wansing,  Maarten De Rijke,  Michael Zakharyaschev  
سری:  
ISBN (شابک) : 9812381791, 9789812381798 
ناشر: World Scientific Publishing Company 
سال نشر: 2003 
تعداد صفحات: 415 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

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

در صورت تبدیل فایل کتاب Advances in modal logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب پیشرفت در منطق مدال

Advances in Modal Logic یک انجمن منحصر به فرد برای ارائه آخرین نتایج و جهت گیری های جدید تحقیق در منطق مدال به طور گسترده است. موضوعاتی که به آنها پرداخته می شود دارای علاقه بین رشته ای هستند و از مسائل ریاضی، محاسباتی و فلسفی تا کاربرد در بازنمایی دانش و زبان شناسی رسمی را شامل می شود. جلد 3 پیشرفت های قابل توجهی را در نظریه مدل رابطه ای و درمان الگوریتمی منطق های مودال ارائه می دهد. این شامل مقالات دعوت شده و ارائه شده از سومین کنفرانس در مورد "پیشرفت ها در منطق مدال" است که در دانشگاه لایپزیگ (آلمان) در اکتبر 2000 برگزار شد. شامل مقالاتی در مورد منطق پویا، منطق توصیف، منطق ترکیبی، منطق معرفتی، ترکیب ها است. منطق مدال، منطق زمان، منطق کنش، منطق اثبات پذیری، و منطق محمول وجهی.

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

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.