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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Modal logic and process algebra: A bisimulation perspective

دانلود کتاب منطق معین و جبر فرآیند: چشم انداز دو زایی

مشخصات کتاب

Modal logic and process algebra: A bisimulation perspective

دسته بندی: جبر
ویرایش:  
نویسندگان: Alban Ponse,  Maarten de Rijke,  Yde Venema  
سری: Center for the Study of Language and Information - CSLI Lecture Notes 53 
ISBN (شابک) : 188152695X, 9781881526964 
ناشر: CSLI Publications 
سال نشر: 1995 
تعداد صفحات: 351 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Modal logic and process algebra: A bisimulation perspective به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب منطق معین و جبر فرآیند: چشم انداز دو زایی

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

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

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.