Kurssin aihealueet:

  • lukuteoria
  • logiikka
  • todistaminen

Kurssin arvionti:

  • välikoe 1 (0 - 6p.)
  • välikoe 2 (0 - 6p.)
  • loppukoe (0 - 36p.)