I came across this homepage of Frank Pfenning – a CMU professor. He has lots of course handouts on different subjects including compilers, logic programming, automated theorem proving etc. Shaz, you might find the compiler notes helpful. The handouts have questions and exercises too.