Lecture 1 - NP-Completeness
Lecture 2 - Hilbert's Tenth Problem
Lecture 3 - SAT Solvers
Lecture 4 - Polynomial Identity Testing
Lecture 5 - Finite Graphs for Infinite Functions
Lecture 6 - A Panorama of Computational Problems
