Basic NotionsCovers the basic concepts of sets, functions, and number systems.
Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Sets and FunctionsIntroduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.