Trimester 4.2
Bit late maybe (we’re already in week 4), but here’s the list of courses of this trimester.
- Proving with computer assistance (assignment + exam)
- Advanced algorithms (assignment + paper)
- Heuristic search (exam)
- Visualization (assignment)
- Requirement analysis, design and verification (exam + assignment)
- Wiskunde 4 (exam)
Well, then there still are those three assignment courses…
- History of Computing assignment still needs a subject.
- The Linux Operating System assignment.
- Hypermedia Systems assignment will be started after having read all the course hypertext.