Mathematical structures for computer science : discrete mathematics and its applications
Judith L. Gersting · 2014
1. Formal Logic 2. Proofs, Recursion, and Analysis of Algorithms 3. Sets, Combinatorics, Probability, and Number Theory 4. Relations, Functions, and Matrices 5. Graphs and Trees 6. Graph Algorithms 7. Boolean Algebra and Computer Logic 8. Modeling Arithmetic, Computation, and Languages