Total Functions: How and WhyExplores hash table efficiency, total functions in code modeling, and well-founded relations for recursive function termination.
Optimization AlgorithmsCovers optimization algorithms, convergence properties, and time complexity of sequences and functions.