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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

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

مشخصات کتاب

Temporal Logic: Mathematical Foundations and Computational Aspects

دسته بندی: منطق
ویرایش:  
نویسندگان: Dov. M. Gabbay,  Mark A. Reynolds,  Marcelo Finger  
سری: Oxford Logic Guides 40 
ISBN (شابک) : 0198537689, 9780198537687 
ناشر: Oxford University Press, USA 
سال نشر: 2000 
تعداد صفحات: 614 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

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

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

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

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

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

این جلد دوم از یک سری آثار معتبر در علم زمانی است و از همان نویسندگان جلد اول است. جلد اول عمدتاً به مفاهیم و روش‌های اساسی می‌پردازد، جلد دوم جنبه‌های کاربردی‌تر منطق‌های زمانی را مورد بحث قرار می‌دهد. چهار فصل اول، ارائه‌های نظری بیشتری را از جلد اول ادامه می‌دهند، که شامل خودکارها، زمان انشعاب و کسر برچسب‌گذاری شده است. بقیه کتاب به بحث در مورد پایگاه داده های زمانی، اجرای و برنامه نویسی زمانی، اقدامات و برنامه ریزی اختصاص دارد. این کتاب و همراه آن با گنجاندن نتایج پیشرفته و روش‌شناسی یکپارچه، مرجعی ضروری برای منطق‌دان محض و دانشمند کامپیوتر نظری هستند.

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

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.