Video Lectures

I've been watching video lectures recently, and I have to recommend SICP:http://groups.csail.mit.edu/mac/classes/6.001/abelson-sussman-lectures/

and http://videolectures.net/ssll09_slaney_fom/, which is an introduction to meta-logic.

Right now I'm watching http://videolectures.net/ssll09_martin_cai/, which is about computability and logic.

The videolectures.net site is pretty awesome in general. It has good AI lectures, and a lot of other fun subjects.