Course Schedule

This is a tentative course schedule, which will evolve during the semester.

Week	Topic	Assignments
1	Calculating with Logic
2	Discrete maths recap
3	Recursion and Induction
4	Propositional logic	Assn1 released
5	Predicate logic	Assn1 due
6	Flexibility Week
7	State machines, Automata	Assn2 released
8	Hoare Logic	Assn2 due
9	Hoare Logic + Tool Demo	Assn3 released
10	Lambda-calculus, wrap-up	Assn3 due

\(\;\)

Slides are not a complete representation of the material covered in the lectures, and they are no substitute for attending the lectures. A lot of information is supplied during the lecture that is not on the slides. It is your duty to ensure that you are aware of and study that extra material by attending the lectures and making your own notes. The extra information that is supplied in the lecture is examinable.