T-79.5101 Advanced Course in Computational Logic

Grading (Spring 2007)


  • In order to pass the course one has to
  • It is possible to earn at most 4 extra exam points as follows: