ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Handbook of Modal Logic

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

Handbook of Modal Logic

مشخصات کتاب

Handbook of Modal Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری: Studies in Logic and Practical Reasoning 3 
ISBN (شابک) : 0444516905, 0080466664 
ناشر: Elsevier Science 
سال نشر: 2007 
تعداد صفحات: 1256 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Handbook of Modal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

کتاب راهنمای منطق مدال شامل 20 مقاله است که در مجموع به معرفی منطق مودال معاصر می پردازد، تحقیقات جاری را بررسی می کند و نشان می دهد که این رشته در حال توسعه است. این مقالات این زمینه را از دیدگاه‌های مختلف بررسی می‌کنند: نظریه زیربنایی به طور عمیق مورد بررسی قرار می‌گیرد، رویکردهای محاسباتی مدرن مورد بررسی قرار می‌گیرد و شش حوزه کاربردی اصلی منطق مدال (در ریاضیات، علوم کامپیوتر، هوش مصنوعی، زبان‌شناسی، نظریه بازی، و فلسفه) بررسی می شوند. این کتاب شامل مقالات توضیحی خوب نوشته شده، مناسب برای مبتدیانی است که برای اولین بار به این موضوع می پردازند، و مقالات پیشرفته، که به کسانی که قبلاً با این زمینه آشنا هستند کمک می کند تا تخصص خود را عمیق تر کنند. لطفاً به این آدرس مراجعه کنید:
http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html

- مرجع منطق معین فشرده
- رویکردهای محاسباتی به طور کامل مورد بحث قرار گرفته است
- کاربردهای معاصر منطق معین به طور عمیق پوشش داده شده است


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

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit:
http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html

- Compact modal logic reference
- Computational approaches fully discussed
- Contemporary applications of modal logic covered in depth



فهرست مطالب

Content: 
Contributors
Pages vii-x

Preface
Pages xi-xxiii
Patrick Blackburn, Johan van Benthem, Frank Wolter

1 Modal logic: a semantic perspective Original Research Article
Pages 1-84
Patrick Blackburn, Johan van Benthem

2 Modal proof theory Original Research Article
Pages 85-138
Melvin Fitting

3 Complexity of modal logic Original Research Article
Pages 139-179
Maarten Marx

4 Computational modal logic Original Research Article
Pages 181-245
Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt

5 Model theory of modal logic Original Research Article
Pages 249-329
Valentin Goranko, Martin Otto

6 Algebras and coalgebras Original Research Article
Pages 331-426
Yde Venema

7 Modal decision problems Original Research Article
Pages 427-489
Frank Wolter, Michael Zakharyaschev

8 Modal consequence relations Original Research Article
Pages 491-545
Marcus Kracht

9 First-order modal logic Original Research Article
Pages 549-620
Torben Braüner, Silvio Ghilardi

10 Higher order modal logic Original Research Article
Pages 621-653
Reinhard Muskens

11 Temporal logic Original Research Article
Pages 655-720
Ian Hodkinson, Mark Reynolds

12 Modal mu-calculi Original Research Article
Pages 721-756
Julian Bradfield, Colin Stirling

13 Description logic Original Research Article
Pages 757-819
Franz Baader, Carsten Lutz

14 Hybrid logics Original Research Article
Pages 821-868
Carlos Areces, Balder ten Cate

15 Combining modal logics Original Research Article
Pages 869-924
Agi Kurucz

16 Modal logic in mathematics Original Research Article
Pages 927-969
Sergei Artemov

17 Automata-theoretic techniques for temporal reasoning Original Research Article
Pages 971-989
Moshe Y. Vardi

18 Intelligent agents and common sense reasoning Original Research Article
Pages 991-1029
John-Jules Meyer, Frank Veltman

19 Applications of modal logic in linguistics Original Research Article
Pages 1031-1076
Lawrence S. Moss, Hans-Jörg Tiede

20 Modal logic for games and information Original Research Article
Pages 1077-1148
Wiebe van der Hoek, Marc Pauly

21 Modal logic and philosophy Original Research Article
Pages 1149-1214
Sten Lindström, Krister Segerberg

Index
Pages 1215-1231





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