Computer Science and Scientific Computing: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Hardcover)

Martin Davis; Ron Sigal; Elaine J Weyuker
Elsevier Science
9780122063824
0-12-206382-1

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal.

read more…

background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.