Discrete Structures, Logic, and Computability

Front Cover
Jones & Bartlett Learning, Oct 25, 2010 - Computers - 1009 pages
3 Reviews
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.
  

What people are saying - Write a review

User Review - Flag as inappropriate

book

User Review - Flag as inappropriate

wwww321

Contents

Elementary Notions and Notations
1
Facts about Functions
75
Construction Techniques
133
Equivalence Order and Inductive Proof
199
Analysis Techniques
281
Elementary Logic
395
Predicate Logic
457
Applied Logic
517
Regular Languages and Finite Automata
695
ContextFree Languages and Pushdown Automata
759
Turing Machines and Equivalent Models
811
Computational Notions
845
Answers to Selected Exercises
883
References
981
Greek Alphabet
987
Index
995

Computational Logic
565
Algebraic Structures and Techniques
619

Common terms and phrases

Bibliographic information