دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Lichtenstein O. سری: ناشر: سال نشر: 1991 تعداد صفحات: 256 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب 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.