دانلود کتاب First steps in modal logic
دسته: منطق
کتاب گام های اولیه در منطق مودال نسخه زبان اصلی
دانلود کتاب گام های اولیه در منطق مودال بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب First steps in modal logic
نام کتاب : First steps in modal logic
عنوان ترجمه شده به فارسی : گام های اولیه در منطق مودال
سری :
نویسندگان : Sally Popkorn
ناشر : Cambridge University Press
سال نشر : 1995
تعداد صفحات : 328
ISBN (شابک) : 9780521464826 , 052146482X
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این یک متن در سطح تحصیلات تکمیلی برای اولین دوره در منطق گزاره ای است. این کتاب از دیدگاه معنایی نوشته شده است تا رویکرد تئوریک اثبات معمول‌تر، و کتاب تمام مطالب اولیه از جمله زبان‌های گزاره‌ای، نتایج معناشناسی و مطابقت، و سیستم‌های اثبات و نتایج کامل را پوشش می‌دهد - و همچنین برخی از موضوعات را پوشش می‌دهد. معمولاً در یک دوره منطق معین، مانند شبیه سازی، پوشش داده می شود. از ویژگی های مهم کتاب تمرینات زیاد و مجموعه گسترده راه حل هایی است که گنجانده شده است
توضیحاتی در مورد کتاب به زبان اصلی :
This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included
پست ها تصادفی