Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Sets and FunctionsIntroduces binary relations, functions, and various types of relations in sets.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.