Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list... Professor Sipser introduced many important concepts in theory of computation and proved several theorems, such as Cook-Levin Theorem, Savitch’s Theorem, and Immerman-Szelepcsenyi theorem. These videos emphasize computability and computational complexity theory. *There is no video for Lecture 13 as that was the day for the Midterm Exam.* License: Creative Commons BY-NC-SA More information at https://ocw.mit.edu/terms More courses at https://ocw.mit.edu Support OCW at http://ow.ly/a1If50zVRlQ We encourage constructive comments and discussion on OCW’s YouTube and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at https://ocw.mit.edu/comments.