Editorial Reviews:
Product Description
An essential resource for a quick introduction and review of the key topics in logic for the computer scientist, engineer, or mathematician! This handbook presents the elements of modern logic to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The text contains definitions, examples and discussion of all key ideas in basic logic, but it also cuts through mathematical formalism, difficult notation, and esoteric terminology. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs a quick sketch of a key idea from logic, will find the book self-contained, accessible, and an easy-to-use reference.
|
