Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Sets and RelationsIntroduces sets, Cartesian product, order importance, and relations on sets.
Group Theory: BasicsCovers the basics of group theory, including sets, applications, and examples like permutations and rotations.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Sets and ProofsIntroduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.