ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Tense Logic

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

Tense Logic

مشخصات کتاب

Tense Logic

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Synthese Library 
ISBN (شابک) : 9027706972, 9789027706973 
ناشر: D. Reidel 
سال نشر: 1976 
تعداد صفحات: 91 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 46,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Tense Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق زمانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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

این تک نگاری برای ارائه مقدمه ای بر حوزه های اصلی منطق زمان طراحی شده است. بسیاری از پیشرفت‌ها در این زمینه رو به رشد عمداً برای تحقق این هدف کنار گذاشته شده‌اند. طول همچنین دیکته انتخاب بین نمادهای جایگزین A. N. Prior و Nicholas Rescher - دو پیشگام این موضوع است. من Prior's را به دلیل تشابهات نحوی با زبانی که نماد آن است و پیوندهای نزدیک آن با شاخه های دیگر نظریه منطقی، به ویژه منطق مدال، انتخاب می کنم. فصل اول نسبت به فصل های بعدی دید وسیع تری از مطالب ارائه می دهد. در نتیجه چندین خط توسعه در ادامه کتاب دنبال نمی شود، به ویژه سیستم های متریک. اگرچه مهم است که تشخیص دهیم نمادهای قبلی بدون تزئین می توانند به روش های مختلف غنی شوند، اما موضوع پیشرفته ای است که چگونه می توان این غنی سازی ها را عملی کرد. خوانندگانی که مایل به اطلاعات بیشتر هستند به ادبیات مناسب ارجاع داده می شوند. متخصصان متوجه خواهند شد که تنها نسخه اول از چندین نسخه کمی منطق زمان در فصل پایانی کامل شده است. باز هم محدودیت های فضا تا حدی مقصر هستند. اثبات سیستم های "ستاره" بسیار پیچیده است و در زمان نگارش این مقاله هنوز برای انتشار آماده نیست.


توضیحاتی درمورد کتاب به خارجی

This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi cation.



فهرست مطالب

Title ......Page 2
Copyright ......Page 3
Preface ......Page 4
Contents ......Page 6
1.1. Introduction ......Page 8
1.2. The Formalities of Tensed Statements ......Page 9
1.3. Interpreting Tensed Statements. I ......Page 14
1.4. Interpreting Tensed Statements. II ......Page 19
Notes ......Page 22
2.1. The Minimal System Kt ......Page 24
2.2. Linear Enlargements of Kt ......Page 31
Notes ......Page 43
3.1. Branching Tense Logics ......Page 44
3.2. Temporal Modality ......Page 49
Notes ......Page 58
4.1. The Q Systems ......Page 60
4.2. The Q* and Q** Systems ......Page 67
Notes ......Page 73
CHAPTER 5. SOUNDNESS AND COMPLETENESS THEOREMS FOR TENSE LOGIC ......Page 74
Notes ......Page 85
APPENDIX I / SC TAUTOLOGIES USED IN PROOFS ......Page 86
APPENDIX II / SUMMARY OF THE SYSTEMS ......Page 87
BIBLIOGRAPHY ......Page 90




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی