Discrete Structures, Logic, and Computability

Thoroughly updated, The new Third Edition of Discrete Structures, Logic, and Computability  introduces beginning computer science and computer engineering students To The fundamental techniques and ideas used by computer scientists today, focusing on topics from the fields of mathematics, logic, and computer science itself.  Dr. Hein provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing. The text contains all the topics for discrete structures in the reports of the IEEE/ACM Joint Task Force on Computing Curricula for computer science programs and for computer engineering programs.  Preview Chapter 2 Preview Chapter 4  

ChapterChapter 1 Elementary Notions and Notations
ChapterChapter 2 Facts about Functions
ChapterChapter 3 Construction Techniques
ChapterChapter 4 Equivalence, Order, and Inductive Proof
ChapterChapter 5 Analysis Techniques
ChapterChapter 6 Elementary Logic
ChapterChapter 7 Predicate Logic
ChapterChapter 8 Applied Logic
ChapterChapter 9 Computational Logic
ChapterChapter 10 Algebraic Structures and Techniques
ChapterChapter 11 Regular Languages and Finite Automata
ChapterChapter 12 Context-Free Languages and Pushdown Automata
ChapterChapter 13 Turing Machines and Equivalent Models
ChapterChapter 14 Computational Notions