Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Queries with forExplores the for notation for querying databases using examples with a mini-database of books.
Python/NumPy PrimerIntroduces Python basics and NumPy for scientific computing, covering data types, functions, arrays, indexing, and common operations.