View/Download
This book contains the essentials of theoretical computer science. There might be a bit more, but this is a broad introduction to the field. And, it is presented from a computer science viewpoint for computer scientists. It does not come from one of the strongholds of mathematics even though a great deal of mathematical logic lurks within.It covers the basics of the theory of computation and should provide some of the tools used in program verification, translation and compiling, and the analysis of algorithms. An effort was made to provide precise, logical, mathematical arguments with a minimum of pain.Added by blueshark on 2007-02-09 03:19:06
View/Download