Initial commit for lecture notes