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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Modal Logic for Open Minds

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

مشخصات کتاب

Modal Logic for Open Minds

دسته بندی: منطق
ویرایش:  
نویسندگان: Johan van Benthem  
سری: Center for the Study of Language and Information - CSLI Lecture Notes 199 
ISBN (شابک) : 9781575865980 
ناشر: CSLI Publications 
سال نشر: 2000 
تعداد صفحات: 390 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

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

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

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

یوهان ون بنتم در منطق معین برای ذهن‌های باز، مقدمه‌ای بر حوزه منطق مودال ارائه می‌کند و ایده‌های اصلی آن را تشریح می‌کند و راه‌های متعددی را که حوزه‌های مختلف دانشگاهی آن را اتخاذ کرده‌اند، بررسی می‌کند. Van Benthem با تئوری های اساسی منطق مودال شروع می کند و رابطه آن را با زبان، معناشناسی، دوشبیه سازی و بدیهیات بررسی می کند و سپس موضوعات پیشرفته تری مانند قدرت بیان، پیچیدگی محاسباتی و عاملیت هوشمند را پوشش می دهد. بسیاری از فصل‌ها با تمرین‌هایی دنبال می‌شوند که این جلد را برای دانشجویان کارشناسی و کارشناسی ارشد در فلسفه، علوم کامپیوتر، سیستم‌های نمادین، علوم شناختی و زبان‌شناسی ایده‌آل می‌کند.

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

In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.

فهرست مطالب

Preface ......Page 7
1 A whirlwind history, and changes in perspective ......Page 10
I Core Concepts ......Page 16
2 Basic language and semantics ......Page 20
3 Expressive power and invariance ......Page 34
4 Validity and decidability ......Page 46
5 Axioms, proofs, and completeness ......Page 58
6 Computation and complexity ......Page 70
II Basic Theory ......Page 80
7 Translation and varieties of expressive power ......Page 84
8 Increasing deductive power: the landscape of modal logics ......Page 100
9 What axioms say: frame correspondence ......Page 110
10 Descriptive power: extended modal languages ......Page 118
11  Modal predicate logic ......Page 128
III Selected Applications ......Page 136
12 Epistemic logic ......Page 142
13 Doxastic and conditional logic ......Page 156
14 Dynamic logic of actions and events ......Page 164
15 Logic and information dynamics ......Page 180
16 Preference and deontic logic ......Page 198
17 Modal logic and games ......Page 206
18 The structure and flow of time ......Page 216
19 Modal patterns in space ......Page 228
20 Intuitionistic logic ......Page 242
21 Provability logic ......Page 252
IV Recent Theoretical Themes ......Page 260
22 Fixed-points, computation, and equilibrium ......Page 264
23 Issues in information dynamics ......Page 274
24 System combination and undecidability ......Page 290
25 Abstract model theory ......Page 302
26 Deductive incompleteness ......Page 312
V Coda ......Page 320
27 Modal foundations for classical logic ......Page 324
A First-order predicate logic ......Page 332
B Modal algebra ......Page 342
Answers and hints to selected exercises ......Page 350
Guide to further literature ......Page 380
References ......Page 382
Index ......Page 388