Book of mathematics for Engineers : Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists - B. Pierce

Theoretical computer science has now undergone several decades of

development. The "classical" topics of automata theory, formal lan-

guages, and computational complexity have become firmly established,

and their importance to other theoretical work and to practice is widely

recognized. Stimulated by technological advances, theoreticians have

been rapidly expanding the areas under study, and the time delay be-

tween theoretical progress and its practical impact has been decreasing

dramatically. Much publicity has been given recently to breakthroughs

in cryptography and linear programming, and steady progress is being

made on programming language semantics, computational geometry,

and efficient data structures. Newer, more speculative, areas of study

include relational databases, VLSI theory, and parallel and distributed

computation. As this list of topics continues expanding, it is becoming

more and more difficult to stay abreast of the progress that is being

made and increasingly important that the most significant work be dis-

tilled and communicated in a manner that will facilitate further research

and application of this work. By publishing comprehensive books and

specialized monographs on the theoretical aspects of computer science,

the series on Foundations of Computing provides a forum in which im-

portant research topics can be presented in their entirety and placed in

perspective for researchers, students, and practitioners alike.

mathematics books djvu

DOWNLOAD