2020-04-02: Due to the extraordinary circumstances the re-exam on 2020-04-08 will be an online exam:
No collaboration is allowed.
You will not be anonymous.
“All examination aids” are permitted.
The exam questions will be similar to those in recent exams.
A preliminary front page for the exam is available.
A special Canvas room has been set up for the exam.
The exam questions will be made available from the Canvas room’s front page, in a file called Exam.pdf, at the start of the exam.
There will be six Canvas assignments for the exam, one per question. Make sure that you hand in your answers to the correct assignment. You can use the following formats: PDF, JPEG or TXT. Note that you can only submit one file per assignment.
If you plan to type answers by hand and photograph them, it may be a good idea to figure out how to combine several photographs into one file. Also make sure that the equipment that you use produces photographs that are legible, under the lighting conditions in effect during the exam.
The final time for submitting the exam to Canvas has been set to 30 minutes after the end of the examination time. It is OK to submit during this time period (as interpreted by Canvas), but I advise you not to leave things to the last minute.
A mock exam is now available in Canvas, so that you can experiment with uploading files. This mock exam will be deactivated before the exam starts, to avoid any confusion.
2020-02-19: The course board meeting will be held on 2020-02-25, at 13:15 in room 5128 (on level 5 of the EDIT building). All course participants are welcome to take part.
2020-01-15: The exam. Sample solutions.
2019-12-18: A blog post and a paper were mentioned in the last tutorial: Seemingly impossible functional programs by Escardo, and Learnability can be undecidable by Ben-David, Hrubeš, Moran, Shpilka and Yehudayoff.
2019-11-20: A summary of a meeting with student representatives.
2019-11-05: The student representatives have been announced.