added lecture on Floyd-Hoare logic