Please hand in your solutions no later then 4pm on the day before the supervision.
The first supervision covers lectures 1 to 5 and 7.
The second supervision covers higher-order logic, termination, and soundness/completeness. It contains a fair amount of bookwork, so it would be most useful if you first attempt the problems without consulting the notes.