Computability, Complexity, and Languages
Download or Read eBook Computability, Complexity, and Languages PDF written by Martin Davis and published by Academic Press. This book was released on 1994-02-03 with total page 631 pages. Available in PDF, EPUB and Kindle.
Author | : Martin Davis |
Publisher | : Academic Press |
Total Pages | : 631 |
Release | : 1994-02-03 |
ISBN-10 | : 9780122063824 |
ISBN-13 | : 0122063821 |
Rating | : 4/5 (24 Downloads) |
Book Synopsis Computability, Complexity, and Languages by : Martin Davis
Book excerpt: This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. Additions to the second edition include: extended exercise sets, which vary in difficulty; expanded section on recursion theory; new chapters on program verification and logic programming; updated references and examples throughout.