Solving RecurrencesFocuses on solving recurrences in divide-and-conquer algorithms using various techniques and examples.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.