توضیحات
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume.
————————————————————–
ترجمه ماشینی :
برای یک مبتدی، این کتاب مقدمهای ریاضی محور برای منطق معین است، رشتهای در منطق ریاضی که مدلهای ریاضی استدلال را که شامل انواع مختلف عملگرهای مدال میشود، مطالعه میکند. با مفاهیم بسیار اساسی شروع می شود و به تدریج به خط مقدم تحقیقات فعلی ادامه می دهد و دستگاه معنایی و جبری مدرن را با جزئیات کامل معرفی می کند و عملاً تمام نتایج کلاسیک را در این زمینه پوشش می دهد. این شامل تمرینات متعدد و مسائل باز است و فقط حداقل دانش در ریاضیات را پیشفرض میگیرد. یک متخصص می تواند از کتاب به عنوان منبع مرجع استفاده کند. نتایج و روشهای بسیاری از جهتها در منطق مدی گزارهای، از کامل بودن و دوگانگی گرفته تا مسائل الگوریتمی، در یک مجلد جمعآوری و ارائه شده است.
tag : دانلود کتاب منطق مدال , Download منطق مدال , دانلود منطق مدال , Download Modal Logic Book , منطق مدال دانلود , buy منطق مدال , خرید کتاب منطق مدال , دانلود کتاب Modal Logic , کتاب Modal Logic , دانلود Modal Logic , خرید Modal Logic , خرید کتاب Modal Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.