Structural InductionIntroduces structural induction, a method to prove properties of elements in recursively defined sets.
Recursive Sorting: Merge SortCovers the concept of Merge Sort, a recursive sorting algorithm that divides a list into sublists until each sublist has one element.
Number Theory: PrimesCovers the definition of primes, the Fundamental Theorem of Arithmetic, and Euclid's Theorem.
Sets and ProofsIntroduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Sets and FunctionsIntroduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.
