Sets and FunctionsIntroduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.
Sets and RelationsIntroduces sets, Cartesian product, order importance, and relations on sets.
Relations, Sequences and SummationsCovers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.