دانلود کتاب Temporal Logics and their Applications
کتاب منطق های زمانی و کاربردهای آنها نسخه زبان اصلی
دانلود کتاب منطق های زمانی و کاربردهای آنها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Temporal Logics and their Applications
نام کتاب : Temporal Logics and their Applications
عنوان ترجمه شده به فارسی : منطق های زمانی و کاربردهای آنها
سری :
نویسندگان : Galton A. (ed.)
ناشر : AP
سال نشر : 1988
تعداد صفحات : 258
ISBN (شابک) : 0122740602 , 9780122740602
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
از پیشگفتار: این کتاب برگرفته از کنفرانسی در مورد منطق زمانی و کاربردهای آن است که در دانشگاه لیدز در ژانویه 1986، تحت نظارت مرکز تازه ایجاد شده در آن زمان برای علوم نظری کامپیوتر برگزار شد. منطق زمانی حوزه‌ای است که با سرچشمه‌گیری در فلسفه، اکنون ثابت کرده است که با چندین حوزه متمایز در علوم رایانه مرتبط است. در این نشریه، تمام جنبه‌های منطق زمانی با هم بررسی می‌شوند، امیدواریم انگیزه‌ای برای همکاری‌های بین رشته‌ای بیشتر، نه تنها در رابطه با منطق زمانی، بلکه در ارتباط با سایر مسائل منطقی و فلسفی، که در رابط بین محاسبات و فلسفه
توضیحاتی در مورد کتاب به زبان اصلی :
FROM THE PREFACE: This book has risen from a conference on Temporal Logic and Its Applications held at the University of Leeds in January 1986, under the auspices of the then newly-created Centre for Theoretical Computer Science. Temporal logic is a field which, having originated within philosophy, has now proved to be of relevance to several distinct areas in computer science. In this publication, all of the aspects of temporal logic are treated together, hopefully providing a stimulus to further inter-disciplinary collaboration, not only as regards temporal logic itself but also in connection with other logical and philosophical issues, which lie at the interface between computing and philosophy.
پست ها تصادفی