دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Dynamic epistemic logic
دانلود کتاب منطق معرفت شناختی پویا
مشخصات کتاب
Dynamic epistemic logic
ویرایش: نویسندگان: Hans van Ditmarsch, W van der Hoek, Barteld Pieter Kooi سری: Synthese library ISBN (شابک) : 9781402069086, 1402069081 ناشر: Springer سال نشر: 2008 تعداد صفحات: 303 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Dynamic epistemic logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق معرفت شناختی پویا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق معرفت شناختی پویا
منطق معرفتی پویا، منطق تغییر دانش است. این کتاب منطق های مختلفی را برای پشتیبانی از چنین مشخصات رسمی از جمله سیستم های اثبات ارائه می دهد. مثال‌های عینی و پازل‌های معرفتی به این نمایشگاه جان می‌بخشند. این کتاب همچنین تمرین هایی را با پاسخ ارائه می دهد. برای دوره های کارشناسی ارشد منطق مناسب است. مثال‌ها، تمرین‌ها، و اثبات کامل بودن کامل و نتایج بیانی گنجانده شده است. یک صفحه وب همراه، اسلایدهایی را برای اساتید و امتحاناتی را برای تمرین بیشتر ارائه می دهد.
توضیحاتی درمورد کتاب به خارجی
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
فهرست مطالب
Content: Epistemic Logic.- Belief Revision.- Public Announcements.- Epistemic Actions.- Action Models.- Completeness.- Expressivity.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Birth of Rhetoric: Gorgias, Plato and Their Successors (Issues in Ancient Philosophy)
دانلود کتاب The structure of the sun
