Logic and discrete mathematics a computer science perspective - Grassmann, Winfried Karl.; Tremblay, Jean-Paul. (Upper Saddle River, N.J. Prentice Hall, 1996)
Table of Contents: Preface. -- 1. Propositional Calculus -- 2. Predicate Calculus -- 3. Induction and Recursion -- 4. Prolog -- 5. Sets and Relations -- 6. Functions -- 7. Graphs and Trees -- 8. Formal Requirement Specification in Z -- 9. Program Correctness Proofs -- 10. Grammars, languages, and Parsing -- 11. Derivatives -- 12. An Overview of Relational Database Systems. -- Bibliography. Solutions to Even-Numbered Problems. Index.
Includes bibliographical references (p. 641-643) and index.
Keywords: Probabilities; Computer science -- Mathematics