School websites of the course:
This module will be available again in semester 2, 2018/19.
: Basic knowledge of Predicate Logic and Recursive Functions as for exampled taught
in Mathematical Logic
Here are some revision notes
on predicate logic.
A good introduction
to the topics studied in this course can be found here:
Lecture notes and example sheets will become available here in week 1 of semester 2.
There are two take home tests (one in week 5 and one in week 10), each one weighting 10% in the unit.
Past exam papers
can be found
will be posted here.