Overzicht vakken docent: D. Düstegör, PhD.

2022/23

• Discrete Structures
• Introduction to Computing Science
• Introduction to Logic (CS)
• Languages and Machines
• Program Correctness

2021/22

• Intelligent Agents and Automated Reasoning
• Introduction to Computing Science
• Introduction to Logic (CS)
• Program Correctness