Lecture notes for P152-2012