Logic and Discrete Mathematics: A Computer Science Perspective, 1/e
Winfried Karl Grassmann
Jean-Paul Tremblay, both at the University of Saskatchewan
Published December, 1995 by Prentice Hall Engineering/Science/Mathematics
Copyright 1996, 750 pp.
Sign up for future
mailings on this subject.
See other books about:
Discrete Mathematics-Computer Science
This text covers all the traditional topics of discrete mathematics
logic, sets, relations, functions, and graphs and reflects
recent trends in computer science.
gives a more thorough exposure to logic reasoning
than most other texts.
shows how to use discrete mathematics and logic for specifying
new computer applications, and how to reason about programs
in a systematic way.
contain chapters on language and grammars, and relational
describes Prolog, a programming language based on
logic, and a section on Miranda, language based on functions.
features numerous examples which relate the mathematical
concepts to problems in computer science.
1. Propositional Calculus.
2. Predicate Calculus.
3. Induction and Recursion.
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.
12. An Overview of Relational Database Systems.
Solutions to Even-numbered Problems.