Introduction to AlgorithmsIntroduces algorithms as problem-solving procedures, covering complexity, correctness, and implementation in various languages.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.