Obtaining insight how various problems can be transformed to formulas, and can be solved automatically by computer programs manipulating these formulas. |
|
This course is not given in Nijmegen but in Eindhoven. In order to do it completely in Nijmegen, video recordings from the Eindhoven course will be made available, and meetings with the students will be arranged, typically one hour per two weeks.
|
|