Algebra of Programming

Algebra of Programming

Richard Bird, Oege de Moor
Bu kitabı nə dərəcədə bəyəndiniz?
Yüklənmiş faylın keyfiyyəti necədir?
Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin
Yüklənmiş faylların keyfiyyəti necədir?

This is the 100th. book in the Prentice Hall International Series in Computer Science.
It's main purpose is to show how to calculate programs. Describing an algebraic approach to programming based on a categorical calculus of relations, Algebra of Programming is suitable for the derivation of individual programs, and for the study of programming principles in general. The programming principles discussed are those paradigms and strategies of program construction that form the core of Algorithm Design. Examples of such principles include: dynamic programming, greedy algorithms, exhaustive search, and divide-and-conquer.The fundamentsl ideas of the algebraic approach are illustrated by an extensive study of optimisation problems.

Kateqoriyalar:
İl:
1997
Nəşr:
1st
Nəşriyyat:
Prentice Hall
Dil:
english
Səhifələr:
312
ISBN 10:
013507245X
ISBN 13:
9780135072455
Seriyalar:
Prentice-Hall International Series in Computer Science
Fayl:
DJVU, 2.07 MB
IPFS:
CID , CID Blake2b
english, 1997
Onlayn oxumaq
formatına konvertasiya yerinə yetirilir
formatına konvertasiya baş tutmadı

Açar ifadələr