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.
Sets and ProofsIntroduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Points Fixes in G-setsExplores fixed points in G-sets, applications between sets, and the construction of orbits.