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

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