Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Logic and Proof TechniquesCovers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.
Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.