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