دانلود کتاب Stochastic Relations: Foundations for Markov Transition Systems (به فارسی: روابط تصادفی: مبانی سیستم های انتقال مارکوف) نوشته شده توسط «Ernst-Erich Doberkat»
اطلاعات کتاب روابط تصادفی: مبانی سیستم های انتقال مارکوف
موضوع اصلی: احتمال
نوع: کتاب الکترونیکی
ناشر: Chapman and Hall/CRC
نویسنده: Ernst-Erich Doberkat
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 370
حجم کتاب: 3 مگابایت
کد کتاب: 1584889411
نوبت چاپ: 1
توضیحات کتاب روابط تصادفی: مبانی سیستم های انتقال مارکوف
جمع آوری اطلاعاتی که قبلاً در ادبیات گسترده پراکنده شده بود، از جمله تحقیقات خود نویسنده، روابط تصادفی: مبانی سیستم های گذار مارکوف، نظریه روابط تصادفی را به عنوان مبنایی برای سیستم های گذار مارکوف توسعه می دهد.
پس از مقدمه‌ای بر ابزارهای ریاضی پایه از توپولوژی، تئوری اندازه‌گیری و دسته‌ها، این کتاب به بررسی موضوعات اصلی همخوانی‌ها و مورفیسم‌ها می‌پردازد، این موارد را در ساختار یک‌واحد اعمال می‌کند و دو شباهت و هم ارزی رفتاری را در این چارچوب تعریف می‌کند. نویسنده تحولات نظریه کلی جبرهای ذغالی را در زمینه تابع احتمال فرعی می بیند. این ابزارها نشان می‌دهند که دو شباهت و هم ارزی رفتاری و منطقی برای منطق‌های مدال عمومی و برای منطق تصادفی زمان پیوسته با و بدون عملگر نقطه ثابت یکسان است.
با مشکلات متعدد و مطالعات موردی متعدد، این کتاب یک مطالعه ارزشمند از جنبه مهم نظریه علوم کامپیوتر است.
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.
دانلود کتاب «روابط تصادفی: مبانی سیستم های انتقال مارکوف»
