Text, Chapters 1-2, skim Chapter 3 as needed, and handout on algorithm correctness (Chapter 1 of Kingston).
(Chapter 2.2-3 should be review.)