Initial commit of lecture notes.