Lectures related to Halting Problem: Unsolvable Problems

Covers basic algorithm ingredients, search algorithms, control structures, and algorithm correctness.

Introduces Merge Sort, a divide-and-conquer algorithm for efficient array sorting, discussing correctness, runtime analysis, linear-time merging, and recurrence solving techniques.

Complexity & Induction: Algorithms & Proofs

Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.

C++ Standard Library: Tools Overview

Covers the main tools in the C++ standard library, emphasizing their importance for efficient programming.

Algorithms: Halting Problem Quiz

Explores the Halting Problem, efficient list element positioning, and the cashier's algorithm.