Topics in Modal Logic 2024: grading

General information about credits etc:

• The course is worth 6 ECTS.
• The grading is on the basis of weekly homework assignments, and a written on site exam at the end of the course.
  • Your final grade will be determined as follows: 50% homework and 50% exam.
  • Your homework grade will be determined as the average of your five best scores on the six homework assignments.
  • In order to pass the course, you need to score at least 50/100 on the exam.

More specific information about homework and grading:

• You can find the homework on the Canvas page of the class, and you are also supposed to submit there.
• Deadlines for submission are strict.
  Homework handed in after the deadline may not be taken into consideration; at the very least, points will be subtracted for late submission.
• Unless explicitly specified otherwise, you are allowed to collaborate with fellow students, on the following conditions:
  • collaboration means that you actually solve the exercises together;
  • you can only collaborate in small groups of at most three people --- and note that the relation of collaboration is understood to be an equivalence relation;
  • if you work in a group of three people, you can discuss the exercises together, but you have to write down and submit your solutions individually;
  • if you work as a pair, you may create a joint solution file, but each of you has to submit this file individually;
  • you must explicitly write on your homework with whom you have been working together;
  • distributing your solutions before the deadline is not permitted.
• When writing your solutions to exercises, be succinct but do provide the necessary details. In particular:
  • never prove statements that are explicitly mentioned in the lecture notes (unless specifically asked otherwise); simply refer to these results if you use them;
  • in the case of a routine argument, you do not need to go into all the technical details;
  • in case of proofs by induction on the complexity of formulas, one or two cases will usually suffice.
• To get the full score for an exercise, it is not sufficient to show that you have the right solution. The quality of your presentation will also count for a small part of the points.

  ---

  Back to main page

  ---