libcats.org
Главная

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Обложка книги Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

, ,
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Business Start-Up 1 Student's Book Klett Edition

Автор: , Автор:
Категория: eLearning_book, languages
Размер книги: 18.35 Mb

Financial Reform and Economic Development in China

Автор: , Автор:
Размер книги: 858 Kb

Tratado Esoterico De Astrologia Hermetica

Автор:
Категория: fiction
Размер книги: 314 Kb

Freedom From the Religious Spirit (Epub, Mobi & PDF)

Автор:
Категория: Christian
Размер книги: 1.70 Mb