Lecturer
| room | consultation hours | |||
|---|---|---|---|---|
| VO | Christian Sternagel | 3M03 | by arrangement | |
Time & Place
Friday from 12:15 to 14:30 in RR 25
The lecture starts on Friday March 11.
Registration
Registration for the lecture is required before 23:59 on March 31.Grading
The final grade is determined by a semester-project. Details are discussed during the lecture.The following projects are already assigned.
- Register Machine from Hell
- Sorting with lists and trees
- Merge sort
- The Euclidean algorithm
- BIGNAT - specification and verification
