ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]

دانلود کتاب تصمیم پذیری، کامل بودن و بسط منطق زمانی خطی [پایان نامه دکتری]

Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]

مشخصات کتاب

Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
 
ناشر:  
سال نشر: 1991 
تعداد صفحات: 256 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب تصمیم پذیری، کامل بودن و بسط منطق زمانی خطی [پایان نامه دکتری]

این پایان نامه زیر نظر پروفسور A. Pnueli انجام شد. این تحقیق به تصمیم پذیری، کامل بودن و بسط خطی می پردازد منطق زمانی این ویژگی ها ابتدا برای یک کلاس کلی بررسی می شوند مدل هایی که به اجرای یک برنامه خاص محدود نمی شوند (اعتبار عمومی)، و سپس برای یک کلاس از مدل های نشان دهنده در نظر گرفته می شود محاسبات یک برنامه معین (اعتبار بیش از برنامه). این تحقیق شامل سه بخش اصلی است: بخش اول به منطق زمانی گزاره ای (PTL) و بخش دوم به منطق موقتی می پردازد. (muTL)، که PTL توسط اپراتورهای فیکس پوینت تقویت شده است و قسمت سوم XCTL را بررسی می کند که نسخه ای از منطق زمانی است که به صراحت به آن اشاره می کند به یک ساعت در حال اجرا، به منظور مشخص کردن خواص زمان واقعی واکنشگر برنامه ها.


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

This thesis was carried out under the supervision of Prof. A. Pnueli. This research deals with decidability, completeness, and extensions of linear time temporal logic. These properties are examined first for a general class of models, that are not restricted to the execution of a specific program (general validity), and then considered for a class of models representing computations of a given program (validity over program). The research contains three main parts: the first deals with Propositional Temporal Logic (PTL), the second deals with mu-Temporal Logic (muTL), which is PTL augmented by fixpoint operators, and the third part investigates XCTL which is a version of temporal logic that explicitly refers to a running clock, in order to specify real time properties of reactive programs.





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

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