Overzicht vakken docent: D. Düstegör, PhD.
- Discrete Structures
- Intelligent Agents and Automated Reasoning
- Introduction to Computing Science
- Introduction to Logic (CS)
- Program Correctness
- Intelligent Agents and Automated Reasoning
- Introduction to Computing Science
- Introduction to Logic (CS)
- Program Correctness