Discrete Structures, Logic, and Computability / Third Edition
Discrete Structures, Logic, and Computability / Third Edition
- 3rd
- Jones And Bartlett Learning, 2010
- 1020
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.
9780763772062
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.
9780763772062