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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Temporal Logic: Mathematical Foundations and Computational Aspects

دانلود کتاب منطق زمانی: پایه ریاضی و جنبه های محاسباتی

مشخصات کتاب

Temporal Logic: Mathematical Foundations and Computational Aspects

دسته بندی: منطق
ویرایش:  
نویسندگان: Dov M. Gabbay,  Ian Hodkinson,  Mark Reynolds  
سری: Oxford Logic Guides 28 
ISBN (شابک) : 0198537697, 9780198537694 
ناشر: Clarendon Press 
سال نشر: 1994 
تعداد صفحات: 668 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب Temporal Logic: Mathematical Foundations and Computational Aspects به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

ما خوشحالیم که جلد 1 کتاب خود را در زمینه زمانی به خواننده تقدیم می کنیم منطق. کار بر روی این جلد در سال 1979 توسط Dov Gabbay آغاز شد پیش نویس دست نوشته ای را آماده کرد [Gabbay, 1981c] که نسخه های قبلی را پوشش می داد از فصل های 1-3، 6-11، و 13. نسخه خطی 1981 به عنوان یک تک نگاری پژوهشی که نتایج گابای در مورد کامل بودن بیانی را پوشش می دهد، بعد H، قاعده انعکاس ناپذیری و نظریه جدایی. در سال 1983 Gabbay به بخش محاسبات در امپریال کالج و تحقیقاتش نقل مکان کرد فعالیت ها با انبوهی از جنبه های نظری و عملی غنی شد مشکلات پیش روی جامعه محاسباتی تحقیق منطق زمانی انجام شد یک چرخش عملی تر (جلد 2 را ببینید). در سال 1985 مارک رینولدز و بعد از آن ایان هادکینسون، به گروه منطق زمانی پیوست. یک نظریه جدی برنامه تحقیقاتی (با دانشجویان دکتری و کارشناسی ارشد) در رشته ریاضی مبانی منطق زمانی و کاربردهای آن در مسائل عملی راه اندازی شد. پس از تحقیق جدید، فصول بعدی نوشته شد توسط گابی، هادکینسون، رینولدز و مارسلو فینگر. فصل های قدیمی، یعنی فصل های 1-3، 6-11 و 13 ویرایش، تصحیح و گسترش یافتند. توسط هادکینسون و رینولدز. در زیر راهنمای کار انجام شده در 1983-92.

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

We are happy to present the reader with volume 1 of our book on temporal logic. Work on this volume was begun in 1979 by Dov Gabbay, who prepared a draft manuscript [Gabbay, 1981c] which covered earlier versions of chapters 1-3, 6-11, and 13. The 1981 manuscript was intended as a research monograph covering Gabbay's results on expressive completeness, H-dimension, the Irreflexivity Rule and separation theory. In 1983 Gabbay moved to the computing department at Imperial College and his research activities were enriched by the multitude of theoretical and practical problems confronting the computing community. Temporal logic research took a more practical turn (see volume 2). In 1985 Mark Reynolds, and later Ian Hodkinson, joined the temporal logic group. A serious theoretical research programme (with PhD and MSc students) into the mathematical foundations of temporal logic and its applications to practical problems was launched. Following the new research, further chapters were written by Gabbay, Hodkinson, Reynolds and Marcelo Finger. The old chapters, namely, chapters 1-3, 6-11, and 13, were edited, corrected, and expanded by Hodkinson and Reynolds. The following is a guide to the work done in 1983-92.