ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Introduction to Coalgebra: Towards Mathematics of States and Observation

دانلود کتاب مقدمه ای بر Coalgebra: به سوی ریاضیات حالات و مشاهده

Introduction to Coalgebra: Towards Mathematics of States and Observation

مشخصات کتاب

Introduction to Coalgebra: Towards Mathematics of States and Observation

دسته بندی: ریاضیات
ویرایش: 1 
نویسندگان:   
سری: Cambridge Tracts in Theoretical Computer Science 
ISBN (شابک) : 1107177898, 9781107177895 
ناشر: Cambridge University Press 
سال نشر: 2016 
تعداد صفحات: 493 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب مقدمه ای بر Coalgebra: به سوی ریاضیات حالات و مشاهده: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Introduction to Coalgebra: Towards Mathematics of States and Observation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مقدمه ای بر Coalgebra: به سوی ریاضیات حالات و مشاهده

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


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

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. The theory is expressed in the language of category theory, which provides the right abstraction to make the similarity and duality between algebra and coalgebra explicit, and which the reader is introduced to in a hands-on manner. The book will be useful to mathematicians and (theoretical) computer scientists and will also be of interest to mathematical physicists, biologists and economists.



فهرست مطالب

Content: 1. Motivation
2. Coalgebras of polynomial functors
3. Bisimulations
4. Logic, lifting and finality
5. Monads, comonads and distributive laws
6. Invariants and assertions
References
Definition and symbol index
Subject index.




نظرات کاربران