توضیحات
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master’s students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.
Contents: 1. Origins of bisimulation and coinduction (Davide Sangiorgi) 2. An introduction to (co)algebra and (co)induction (Bart Jacobs and Jan Rutten) 3. The algorithmics of bisimilarity (Luca Aceto, Anna Ingolfsdottir and Ji Srba) 4. Bisimulation and logic (Colin Stirling) 5. Howes method for higher-order languages (Andrew Pitts) 6. Enhancements of the bisimulation proof method (Damien Pous and Davide Sangiorgi) 7. Probabilistic bisimulation (Prakash Panangaden)
————————————————————–
ترجمه ماشینی :
استقرا روشی برای مشخص کردن و استدلال در مورد انواع داده ها و خودکارهای بی نهایت با رفتار نامحدود است. در سالهای اخیر، نقش مهمتری در تئوری محاسبات بازی کرده است. این در بسیاری از رشته ها، از جمله نظریه فرآیند و همزمانی، منطق مدال و نظریه اتوماتا مورد مطالعه قرار می گیرد. به طور معمول، اثباتهای همارزش، هم ارزی دو شی را با ایجاد یک رابطه دوشبیهسازی مناسب بین آنها نشان میدهند. این مجموعه از نظرسنجی ها هم برای محققین و هم دانشجویان کارشناسی ارشد در علوم کامپیوتر و ریاضی طراحی شده است و به جنبه های مختلف شبیه سازی و همزمانی با تاکید بر نظریه فرآیند می پردازد. هفت فصل موضوعات زیر را پوشش میدهد: تاریخ، جبر و جبر، الگوریتم، منطق، زبانهای درجه بالاتر، پیشرفتهای روش اثبات دوشبیهسازی، و احتمالات. تمرین هایی نیز برای کمک به خواننده در تسلط بر مطالب جدید گنجانده شده است. \ مطالب: 1. خاستگاه دوشبیه سازی و همزمانی (دیوید سنگیورگی) 2. مقدمه ای بر (هم)جبر و (هم) استقراء (بارت جاکوبز و جان روتن) 3. الگوریتم دو شباهت (لوکا آستو، آنا اینگولفسدوتیر و سربا) 4. شبیه سازی و منطق (کالین استرلینگ) 5. روش هاوس برای زبان های درجه بالاتر (اندرو پیتس) 6. پیشرفت های روش اثبات دوشبیه سازی (دیمین پوس و دیوید سانگیورگی) 7. دوشبیه سازی احتمالی (پراکاش پانانگادن)
tag : دانلود کتاب مباحث پیشرفته در شبیه سازی و همزمانی , Download مباحث پیشرفته در شبیه سازی و همزمانی , دانلود مباحث پیشرفته در شبیه سازی و همزمانی , Download Advanced Topics in Bisimulation and Coinduction Book , مباحث پیشرفته در شبیه سازی و همزمانی دانلود , buy مباحث پیشرفته در شبیه سازی و همزمانی , خرید کتاب مباحث پیشرفته در شبیه سازی و همزمانی , دانلود کتاب Advanced Topics in Bisimulation and Coinduction , کتاب Advanced Topics in Bisimulation and Coinduction , دانلود Advanced Topics in Bisimulation and Coinduction , خرید Advanced Topics in Bisimulation and Coinduction , خرید کتاب Advanced Topics in Bisimulation and Coinduction ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.