March 28

Study Support Lecture: Program Correctness

Event information

Study Support Lecture: Program Correctness

Date Time

Mon, Mar 28, 2022

Location

BB 5161.0267

Organiser

StudCee

No matter how long you search you can't find that invariant? Going round in circles trying to make some recurrence functions? Come to our support lecture where we will be going through a past exam and helping you get through those proofs!

(PS: we also have coffee and tea waiting for you)