a Basis For Theoretical Computer Science

Computer science seeks to provide a scientific basis for the study of inform a­ tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine.

by Ernst-Erich Doberkat (Author)
Provides a systematic and accessible treatment of useful topics for theoretical computer scientists
Displays the mathematical techniques with carefully constructed and rigorous approaches
Includes a variety of examples from diverse fields of mathematics and computer science
Features case studies to provide methods for research problems
Classroom tested exposition of the content

Visualize, Compute, and Understand Linear Algebra Like Never Before