دانلود کتاب Advances in modal logic
49,000 تومان
پیشرفت در منطق مودال
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | World Scientific Publishing Company |
| تعداد صفحه | 415 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9812381791,9789812381798 |
| نویسنده | Frank Wolter, Heinrich Wansing, Maarten De Rijke, Michael Zakharyaschev |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2003 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
پیشرفت در منطق مودال
Advances in Modal Logic یک انجمن منحصر به فرد برای ارائه آخرین نتایج و جهت گیری های جدید تحقیق در منطق مدال به طور گسترده است. موضوعاتی که به آنها پرداخته می شود دارای علاقه بین رشته ای هستند و از مسائل ریاضی، محاسباتی و فلسفی تا کاربرد در بازنمایی دانش و زبان شناسی رسمی را شامل می شود.
جلد 3 پیشرفت های قابل توجهی را در نظریه مدل رابطه ای و درمان الگوریتمی منطق های مودال ارائه می دهد. این شامل مقالات دعوت شده و ارائه شده از سومین کنفرانس در مورد “پیشرفت در منطق مدال” است که در دانشگاه لایپزیگ (آلمان) در اکتبر 2000 برگزار شد. این شامل مقالاتی در مورد منطق پویا، منطق توصیف، منطق ترکیبی، منطق معرفتی، ترکیبی از روشهای مدال است. منطق، منطق زمان، منطق عمل، منطق اثبات پذیری، و منطق محمول وجهی.
Advances in modal logic
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.