Fall 2015
Class: Tuesdays and Wednesdays, 15:30-17:15, SI-015
Instructor: Robert
Soulé
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.
We rely on one textbook:
Please send class-related questions to the Discussions Forum on Moodle (unless, of course, they concern private rather than technical or organizational issues).
TBD
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.