We now support WebAuthn for 2FA. Enable it here!

Computation models

These documents were collected for Semantics and Correctness, a predecessor of this course.
Summaries
Exams
These documents were collected for Semantics and Correctness, a predecessor of this course.
Exams
These documents were collected for Semantics and Correctness, a predecessor of this course.
Exams
These documents were collected for Semantics and Correctness, a predecessor of this course.
Exams
These documents were collected for Semantics and Correctness, a predecessor of this course.
Exams

This is the overview for Computation models. 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-IBC025
  • EC: 3