Lehrender
| Raum | Sprechstunde | |||
|---|---|---|---|---|
| VO | Christian Sternagel | 3M03 | nach Vereinbarung | |
Zeit & Ort
Freitag von 12:15 bis 14:30 im RR 25
Die Vorlesung beginnt ab Freitag den 11ten März.
Anmeldung
Für die Vorlesung ist eine Anmeldung bis zum 31ten März um 23:59 erforderlich.Benotung
Die Note wird durch ein Semester-Projekt bestimmt. Einzelheiten werden in der Vorlesung besprochen.Die folgenden Projekte sind bereits vergeben:
- Register Machine from Hell
- Sorting with lists and trees
- Merge sort
- The Euclidean algorithm
- BIGNAT - specification and verification
