Lecturer: Marcus Tressl
Course description: pdf
Timetable: Monday 11-12 Newman G17; Thursday 2-4 Alan Turing G108, Friday 2-3 Alan Turing G209
Lecture Notes:
Nonmonotonic logic
Modal logic
Real valued logic
Example Sheets: 1 (solutions) 2 ()
Take home tests: 1 (with solutions), 2 (with solutions)
The exam will take place at 14:00 on 10th April in room F2 of the Renold building. Duration: 150 minutes.