My bad. I watched the first 2005 lecture on YouTube last week and then noticed 2008 when I went to the Open Courseware page. Hadn't quite made it to lecture 2 yet. Here's Stanford's course & videos on Coursera:
I have watched most of these as well. I took a course last semester at Auburn University that was based off this one and is nearly identical, we even used the same book listed on the site, written by these guys at MIT. They literally wrote the book on the subject.
I didn't watch the videos, but I have a copy of the book they're using. From the preface:
* You should have some programming experience. In particular, you should understand recursive procedures and simple data structures such as arrays and linked lists.
* You should have some facility with proofs by mathematical induction. A few portions of the book rely on some knowledge of elementary calculus.
http://www.catonmat.net/blog/summary-of-mit-introduction-to-...