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.