BITM Discrete Mathematics and Its Applications

Logic and Proof, Algorithms, the Integers, Mathematical Reasoning, Induction, and Recursion, Counting, Relations and functions, Graphs, Trees.