Covers sorting algorithms, divide-and-conquer analysis, solving recurrences through induction, complexities of floors and ceilings, and the Master method.
Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.