- Teacher: Wouter Meulemans
- Teacher: Ignaz Rutter
- Teacher: Bettina Speckmann
- Teacher: Arthur van Goethem

After completing the course, the student can work with formulas from propositional logic and predicate logic, and knows their meaning and use. In particular, the student can prove the validity of a logical formula in a formal deductive system with assumptions, inferences and conclusions. The student can put his logical knowledge to work, in particular to prove formulas of set theory, having developed both the skills and the understanding of the fundamental mathematical abstractions in the area of sets, including relations, functions, orderings and induction

- Teacher: Bas Luttik

After completing the course, the student can work with formulas from propositional logic and predicate logic, and knows their meaning and use. In particular, the student can prove the validity of a logical formula in a formal deductive system with assumptions, inferences and conclusions. The student can put his logical knowledge to work, in particular to prove formulas of set theory, having developed both the skills and the understanding of the fundamental mathematical abstractions in the area of sets, including relations, functions, orderings and induction

- Teacher: Bas Luttik

After completing the course, the student can work with formulas from propositional logic and predicate logic, and knows their meaning and use. In particular, the student can prove the validity of a logical formula in a formal deductive system with assumptions, inferences and conclusions. The student can put his logical knowledge to work, in particular to prove formulas of set theory, having developed both the skills and the understanding of the fundamental mathematical abstractions in the area of sets, including relations, functions, orderings and induction

- Teacher: Bas Luttik

- Teacher: Kees Huizing
- Teacher: Ruurd Kuiper

Java programming for beginning programmers. Object-orientation.

Swing GUI programming.

- Teacher: Loek Cleophas
- Teacher: Kees Huizing
- Teacher: Ruurd Kuiper

Social networks