Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
Martin Davis, Ron Sigal, Elaine J. Weyuker
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.* The number of exercises included has more than tripled.* Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
种类:
年:
1994
出版:
second
出版社:
Morgan Kaufmann
语言:
english
页:
609
ISBN 10:
0122063821
ISBN 13:
9780122063824
文件:
PDF, 9.89 MB
IPFS:
,
english, 1994
因版权方投诉,本书无法下载