Compilers by Professor Alex Aiken https://www.coursera.org/course/compilers
Automata by Professor Jeff Ulman https://www.coursera.org/course/automata
Intro. to Logic by Professor Michael Genesereth https://www.coursera.org/course/intrologic