Thursday lectures

On Thursdays the lectures will consist of me talking a bit a about proofs, and you doing the proofs. Since some students have conflicting lectures at that time, I will make the problems we go through available after each session.