Competed these courses in Fall of 2011: www.ai-class.com The course covers all areas of AI, based on book by Peter Norvig. www.ml-class.org The course was taught by Andrew Ng, Stanford prof. Assignments in Octave(just like Matlab, I hear, but free)
Completed this course from Univ of Washington, Spring 2011: Introduction to Logic The course was about First order logic.