Generic Engineering course planned for Q3 in 2017-2018; trial in Q2
- Teacher: Wilco Brouwer
- Teacher: Alessandro Di Bucchianico
- Teacher: Mathias Funk
- Teacher: Jean-Bernard Martens
- Teacher: Simona Orzan
- Teacher: Luis Rocha
- Teacher: Erik Scheffers
- Teacher: E.T.J. Scheffers
- Teacher: Natalia Sidorova
- Teacher: Tom Verhoeff
- Teacher: Arthur Goethem, van
- Teacher: Irina Kostitsyna
- Teacher: Wouter Meulemans
- Teacher: Ignaz Rutter
- Teacher: Bettina Speckmann
- Teacher: Arthur Goethem, van
- Teacher: Irina Kostitsyna
- Teacher: Bettina Speckmann
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: C.J. Bloo
- Teacher: Bas Luttik
- Teacher: S.P. Luttik
- Teacher: Wouter Meulemans
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: C.J. Bloo
- Teacher: Bas Luttik
- Teacher: S.P. 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: S.P. Luttik
Java programming for beginning programmers. Object-orientation.
Swing GUI programming.
- Teacher: Kees Huizing
Social networks