CS143 Covers some basic theory about computer science, including automata theory and complexity theory. I am just in it for the NP completeness stuff -- truth be told.