Undecidability: Part 1Introduces undecidability in recursive languages and Turing machines, showing languages without algorithmic recognition.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Communication Amid UncertaintyExplores challenges in human communication, context importance, compression problems, uncertain functionality, and proof verification.
Elements of Computational ComplexityIntroduces computational complexity, decision problems, quantum complexity, and probabilistic algorithms, including NP-hard and NP-complete problems.
