2018-01-04: The course board meeting will be held on 2018-02-07, 11:00-12:00 in 4128. All course participants are welcome to take part.
2017-12-09: Fixed a bug in the slides for the first lecture (slides 45 and 46).
2017-12-05: Added one optional item to the reading list for Week 7.
2017-12-02: Added one optional item to the reading list for Week 6.
2017-12-01: Announced the last assignment and the exercises for the sixth and seventh tutorials.
2017-11-26: Modified the statements of the fourth tutorial's second and third exercises, and the fifth tutorial's second exercise.
2017-11-24: Announced the exercises for the fifth tutorial.
2017-11-24: Modified two exercises from the fifth assignment in order to match content that will be presented in the next lecture. Solutions of the previous formulations of these exercises will also be accepted.
2017-11-23: Announced the fifth assignment.
2017-11-20: As a result of a meeting with the student representatives answers to lecture quizzes have been made available.
2017-11-20: Fixed a bug in the slides for the fourth lecture (thanks to the student who found the bug).
2017-11-14: Announced the fourth assignment and the exercises for the fourth tutorial.
2017-11-13: The statement of the second assignment's third exercise may have made the exercise harder than it should have been. The statement has been modified, and the deadline has been moved forward by two days.
2017-11-12: Announced the exercises for the third tutorial.
2017-11-07: Fixed a problem in the statement of the second tutorial's fifth exercise. Thanks to the student who pointed this out to me!
2017-11-07: Announced the third assignment.
2017-11-01: Announced the exercises for the second tutorial.
2017-11-01: The student representatives have been announced.
2017-10-31: Announced the second assignment.
2017-10-13: The course PM has been made available.
2017-10-13: Announced the first assignment and the first tutorial exercises.
2017-10-13: Major changes since last year have been documented.
2017-10-13: Modified The language χ (Succ
was replaced by Suc
).