Exams
Theory of Decision Procedures
The second (written and closed book) exam will take place on
Friday September 30, 9:00 – 11:00 in HS 11.
Online registration is required until
10 am on September 28.
2nd Exam
1st Exam
Practice of Decision Procedures
2nd Exam
pdf
1st Exam
pdf