کتاب الکترونیکی

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

Tools and Techniques in Modal Logic

دانلود کتاب Tools and Techniques in Modal Logic (به فارسی: ابزارها و تکنیک ها در منطق مدال) نوشته شده توسط «Marcus Kracht»

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

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Elsevier

نویسنده: Marcus Kracht

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1999

تعداد صفحه: 563

حجم کتاب: 4 مگابایت

کد کتاب: 0444500553 , 9780444500557

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

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

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.

دانلود کتاب «ابزارها و تکنیک ها در منطق مدال»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان