Structural InductionIntroduces structural induction, a method to prove properties of elements in recursively defined sets.
Introduction to ComplexityIntroduces time complexity and worst-case analysis of algorithms, abstracting computational complexity from implementation details.
Number Theory: DivisionExplores the concept of division in number theory, including properties, algorithms, and examples.