## T-79.5101 Advanced Course in Computational Logic

### Grading (Spring 2008)

In order **to pass the course** one has to
- pass the three compulsory home assignments and
- pass the final exam.

It is possible to earn at most 4 extra exam points as follows:
- Participating in the tutorials (at most 3 points):

Present at least 4 times / 1 point

Present at least 8 times / 2 points

Present at least 11 times / 3 points

- Filling-out the feed back form (1 point)