Author:
Martin Davis - Ron Sigal - Elaine J. Weyuker

ISBN 13:
9780122063824

ISBN 10:
122063821

Edition:
2

Publisher:
Morgan Kaufmann

Publication Date:
1994-02-17

Format:
Hardcover

Pages:
609

List Price:
$72.95

This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.

A rigorous but readable introduction to some of the central topics in theoretical computer science, including computability theory, formal languages, logic and automated deduction, computational complexity including NP-completeness, and programming language semantics. This second edition features more than triple the exercises of the previous edition and a new discussion of computability theory; a section on the denotational and operational semantics of recursion equations has been added. Annotation c. Book News, Inc., Portland, OR (booknews.com)