SKIP THE SHIPPING
Use code NOSHIP during checkout to save 40% on eligible eBooks, now through January 5. Shop now.
Register your product to gain access to bonus material or receive a coupon.
For one/two-semester, sophomore-level courses in Discrete Mathematics.
This text covers all the traditional topics of discrete mathematics — logic, sets, relations, functions, and graphs — and reflects recent trends in computer science.
1. Propositional Calculus.
2. Predicate Calculus.
3. Induction and Recursion.
4. Prolog.
5. Sets and Relations.
6. More About Functions.
7. Graphs And Trees
8. Formal Requirement Specification in Z.
9. Program Correctness Proofs.
10. Grammars, Languages, and Parsing.
11. Derivations.
12. An Overview of Relational Database Systems.
Bibliography.
Solutions to Even-numbered Problems.
Index.