книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Categorical Ideas As Expressed in the Programming Language Charity. Algebras and Coalgebras

Код 906639

Нет в продаже

Аннотация к книге "Categorical Ideas As Expressed in the Programming Language Charity. Algebras and Coalgebras"

Within the past ten years, category theory has become an import avenue of research in computer science. This book explores some categorical ideas introduced by B. Jacobs and J. Rutten in "A tutorial on (co)algebras and (co)induction" [EATCS Bulletin, 62(222-259):3-13, 1997]. From foundational sets and functions, we gradually build up to definitions of functors and diagrams. Then, we define algebras and coalgebras and prove some properties used in the next section, where we show by examples how...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6390-9385-8
Объём: 52 страниц
Масса: 98 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Культура, искусство, публицистика