Present: Eric Bjuhr, Nadim Hagatulah, Carl Lundborg, Nils Anders Danielsson.
Overall the course seems to be working well. Some points that were raised in the meeting:
The reading material about induction could perhaps have been better.
Some pointers to more reading related to proofs and induction:
Notes by Koen Claessen on proof methods and structural induction.
Sections 1.2-1.4 of the main text book, which are included as optional in the reading list.
It was suggested that it would aid learning if a quiz could be taken multiple times.
This has already been implemented (starting with the seventh quiz).
It might be helpful if the exercises that will be covered in exercise sessions could be announced in advance.
It was not entirely clear how the “74% rule” for the highest grades should be interpreted: “At least 74% of the total number of points available for the assignments (including quizzes) and the written exam.”
It is the combined score for the assignments, quizzes and exam that should be at least 74% of the combined maximum score.