The previous lecture in this series is here. The next lecture in this series is here.
Quickly reviewed last lecture. Finished Immerman-Szelepcsenyi theorem: NL = coNL. Introduced and proved the time and space hierarchy theorems. Discussed using the hierarchy theorems to separate certain complexity classes.
These videos are of a lecture course by Michael Sipser at the Massachusetts Institute of Technology in 2020, and made available as part of its OpenCourseWare initiative.