Disk Storage & IndexingExplores disk storage anatomy, access times, buffer management, and tree-structured indexing techniques like B+ Trees.
Binary Search Trees OperationsExplains binary search tree operations, focusing on insertion, search, and list conversion, with an emphasis on formal verification and debugging.
Probability and StatisticsDelves into probability, statistics, paradoxes, and random variables, showcasing their real-world applications and properties.