Looking for some lecture videos on logic, models of computation and computational complexity/tcs fundamentals Looking for some lecture videos (introductory level) on  logic, models of computation as well as computational complexity/ other theoretical computer science fundamentals
Ryan O'Donnell (professor at Carnegie Mellon) has a wonderful undergraduate complexity theory series that goes through the fundamentals quite well, and he's an engaging lecturer. He also has a similar graduate lecture series that mostly picks up where the undergrad series left off.
(Note that this series does not cover logic, and I'm not aware of any videos that do cover that subject.)