دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logics of time and computation
دانلود کتاب منطق زمان و محاسبه
مشخصات کتاب
Logics of time and computation
ویرایش: 2nd
نویسندگان: Robert Goldblatt
سری: Center for the Study of Language and Information - CSLI Lecture Notes 7
ISBN (شابک) : 0937073938
ناشر: CSLI Publications
سال نشر: 1992
تعداد صفحات: 200
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Logics of time and computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق زمان و محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق زمان و محاسبه
نظریه اساسی منطق های گزاره ای معمولی و زمانی را بیان می کند. این نظریه را برای منطق‌های زمان گسسته (عدد صحیح)، متراکم (عقلانی) و پیوسته (واقعی)، به منطق زمانی از این پس، بعدی و تا، و برای منطق پویای گزاره‌ای برنامه‌های منظم اعمال می‌کند.
توضیحاتی درمورد کتاب به خارجی
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs
فهرست مطالب
Cover......Page 1 Preface to the First Edition......Page 9 Preface to the Second Edition......Page 10 Contents......Page 11 Part One: Propositional Modal Logic......Page 13 1. Syntax and Semantics......Page 15 2. Proof Theory......Page 28 3. Canonical Models and Completeness......Page 36 4. Filtrations and Decidability......Page 43 5. Multimodal Languages......Page 49 6. Temporal Logic......Page 52 7. Some Topics in Metatheory......Page 60 Part Two: Some Temporal and Computational Logics......Page 75 8. Logics with Linear Frames......Page 77 9. Temporal Logic of Concurrency......Page 96 10. Propositional Dynamic Logic......Page 121 Part Three: First-Order Dynamic Logic......Page 153 11. Assignments, Substitutions, and Quantifiers......Page 155 12. Syntax and Semantics......Page 158 13. Proof Theory......Page 166 14. Canonical Model and Completeness......Page 174 Bibliography......Page 181 Index......Page 187
