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

روابط تصادفی: مبانی سیستم های انتقال مارکوف

Stochastic Relations: Foundations for Markov Transition Systems

دانلود کتاب Stochastic Relations: Foundations for Markov Transition Systems (به فارسی: روابط تصادفی: مبانی سیستم های انتقال مارکوف) نوشته شده توسط «Ernst-Erich Doberkat»


اطلاعات کتاب روابط تصادفی: مبانی سیستم های انتقال مارکوف

موضوع اصلی: احتمال

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

ناشر: Chapman and Hall/CRC

نویسنده: Ernst-Erich Doberkat

زبان: English

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

سال انتشار: 2007

تعداد صفحه: 370

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

کد کتاب: 1584889411

نوبت چاپ: 1

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

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

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

با مشکلات متعدد و مطالعات موردی متعدد، این کتاب یک مطالعه ارزشمند از جنبه مهم نظریه علوم کامپیوتر است.


Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems.

After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. These tools show that bisimilarity and behavioral and logical equivalence are the same for general modal logics and for continuous time stochastic logic with and without a fixed point operator.

With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory.

دانلود کتاب «روابط تصادفی: مبانی سیستم های انتقال مارکوف»

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

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