ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logics of Time and Computation

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

Logics of Time and Computation

مشخصات کتاب

Logics of Time and Computation

ویرایش: [2nd ed.] 
نویسندگان:   
سری: Center for the Study of Language and Information - CSLI Lecture Notes 7 
ISBN (شابک) : 9780937073940, 0937073946 
ناشر: CSLI Publications 
سال نشر: 1992 
تعداد صفحات: 200 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 Mb 

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



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

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


در صورت تبدیل فایل کتاب 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.





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