The main guide of this course has been updated with some additional explanations, and minor corrections.