Sets and ProofsIntroduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Sets and RelationsIntroduces sets, Cartesian product, order importance, and relations on sets.