You can now use 2-Factor Authentication. Enable it here!

Thalia Website v51 has launched! Click here to view the release notes.

Automated Reasoning

This is the overview for Automated Reasoning. You can find all the exams and summaries that Thalia has here.

Keep in mind that old exams and summaries may not always test the same material as this year.


  • Course code: NWI-IMC009
  • EC: 6