Class: Tuesdays and Wednesdays, 15:30-17:15, SI-015
Office hours: By appointment Exam: TDB
This is a graduate-level course in mathematical logic, motivated by applications in computer science. The syllabus will include propositional logic, first order logic, and undecidability. Students should have a basic level of mathematical sophistication, and will be expected to complete weekly problem sets.
The course is open to Master students (MSc in Informatics) for 6 ECTS.
Please send class-related questions to the Discussions Forum on Moodle
(unless, of course, they concern private rather
than technical or organizational issues).
I encourage you to collaborate on homework assignments. But you must write up
and turn in your own answers. Also, you must clearly indicate who you
collaborated with. If I detect any incidents of cheating, I will report them
immediately to the department, and the assignment will be given a grade of 0.
Please be sure to regularly check this page for updates.