List of Courses
NWI-IPC020 Mathematical Structures
EH (coordinator), Filip Richter- Q1, 3EC
- Brightspace
NWI-IPK001 Introduction to Formal Reasoning
Freek Wiedijk (coordinator), EH- Q1+Q2, 6EC
- Brightspace
- External website
NWI-IPI004 Logic and Applications
EH (coordinator), Robbert Krebbers- Q3+Q4, 6EC
- Brightspace
NWI-IBC026 Semantics and Correctness
EH (coordinator), Herman Geuvers- Q5 or Q9, 3EC
- Brightspace
NWI-IBC025 Semantics and Rewriting
EH (coordinator), Robbert Krebbers- Q8 or Q12, 3EC
- Brightspace