F2021 CS 340 Lecture 2 (Problems, Algorithms, Pseudocode, Correctness) Published -- Download video MP4 360p