Logic and Discrete Mathematics: A Computer Science Perspective
Winfried K. Grassmann, Jean-Paul Tremblay · Medical Entomology and Zoology · 1995
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.