Title: Mathematical structures for computer science /
Authors: Gersting, Judith L.
Publisher: W. H. Freeman,
Year: 1998
Subjects: Mathematics; Mathematical models.; Computer science Mathematics
Contents: Formal logic -- Proofs, recursion, and analysis of algorithms -- Set and combinatorics -- Relation, functions, and matrices -- Graphs and trees -- Graph algorithms -- Boolean algebra and computer logic -- Modeling arithmetic, computation, and languages.