کتاب الکترونیکی

منطق معین و جبر فرآیند: دیدگاه شبیه سازی

Modal logic and process algebra: a bisimulation perspective

دانلود کتاب Modal logic and process algebra: a bisimulation perspective (به فارسی: منطق معین و جبر فرآیند: دیدگاه شبیه سازی) نوشته شده توسط «Alban Ponse – Maarten de Rijke – Yde Venema»

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

موضوع اصلی: جبر

نوع: کتاب الکترونیکی

ناشر: CSLI Publications

نویسنده: Alban Ponse – Maarten de Rijke – Yde Venema

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1995

تعداد صفحه: 351

حجم کتاب: 15 مگابایت

کد کتاب: 188152695X , 9781881526957 , 1881526968 , 9781881526964

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

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

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.

دانلود کتاب «منطق معین و جبر فرآیند: دیدگاه شبیه سازی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان