TY  - BOOK
AU  - Hein James L
TI  - Discrete Structures, Logic, and Computability / Third Edition
SN  - 9780763772062
PY  - 2010///
PB  - Jones And Bartlett Learning
N2  - This book provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing.   Elementary Notions and Notations, Construction Functions, Equivalence and Order and Inductive Proof, Analysis Techniques, Elementary Logic, Predicate Logic, Applied Logic, computational Logic, Algebraic Structures and Techniques, Context-Free Languages and Pushdown Automata, Turing Machines and Equivalent Models, Computational Notions, Index
ER  -