توضیحات
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
————————————————————–
ترجمه ماشینی :
این کتاب منطق مدال را به عنوان یک نظریه با چندین نظریه فرعی مانند نظریه کامل بودن، تئوری مطابقت، نظریه دوگانگی و تئوری انتقال بررسی می کند و به عنوان درسی در منطق مدال برای دانشجویانی که قبلا با منطق مدال ارتباط داشته اند و مایل به مطالعه هستند در نظر گرفته شده است. آن را عمیق تر این امر مستلزم آموزش ریاضی یا منطق است. دانش خاص بسیار کمی پیشفرض میرود، اکثر نتایج مورد نیاز در این کتاب اثبات شدهاند.
tag : دانلود کتاب ابزارها و تکنیک ها در منطق مدال , Download ابزارها و تکنیک ها در منطق مدال , دانلود ابزارها و تکنیک ها در منطق مدال , Download Tools and Techniques in Modal Logic Book , ابزارها و تکنیک ها در منطق مدال دانلود , buy ابزارها و تکنیک ها در منطق مدال , خرید کتاب ابزارها و تکنیک ها در منطق مدال , دانلود کتاب Tools and Techniques in Modal Logic , کتاب Tools and Techniques in Modal Logic , دانلود Tools and Techniques in Modal Logic , خرید Tools and Techniques in Modal Logic , خرید کتاب Tools and Techniques in Modal Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.