|
|
libcats.org
Algebraic and Coalgebraic Methods in the Mathematics of Program ConstructionRoland Backhouse, Roy Crole, Jeremy GibbonsProgram 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.
Скачать книгу бесплатно (pdf, 2.94 Mb)
Читать «Algebraic and Coalgebraic Methods in the Mathematics of Program Construction» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Essentials of Dental Radiography and RadiologyАвтор: Eric Whaites MSc BDS(Hons) FDSRCS(Edin) FDSRCS(Eng) FRCR DDRRCR
Размер книги: 48.25 Mb
Указатель лесоводственной и ботанико-географической литературы северной России и ФинляндииАвтор: Поле
Размер книги: 9.79 Mb
Spatial Error Analysis: A Unified Application-Oriented TreatmentАвтор: David Y. Hsu
Размер книги: 14.10 Mb
After the Trade Is Made: Processing Securities TransactionsАвтор: David M. Weiss
Размер книги: 4.41 Mb
The Sky's the LimitАвтор: Palmieri Marco, Автор: Roddenberry GeneКатегория: fiction
Размер книги: 513 Kb
|
|
|