Functions in PythonIntroduces functions in Python, covering predefined and user-defined functions, formal and effective parameters, and the importance of docstrings.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.