Type and Content |
|
| Title: | Formal Development of Programs |
| Host: | Völzer |
| Classification: | Bachelor-Studiengang ab 1. Semester, Wahlpflicht Diplom-Studiengang ab 1. Semester, Wahl |
| Conentent: | Exercises in program development and presentationWe practise the presentation of scientific content through examples from the area of program development. The challenge we will face is to present, in a short talk, a problem, its algorithmic solution, and its proof of correctness in such a way that your audience is fully convinced that you have indeed presented a solution to the presented problem. |
Lecture |
|
| Host: | Völzer |
| Hours: | Proseminar in englischer Sprache, 4 ECTS |
| Dates: | Diese Veranstaltung besitzt keinen Default-Termin. Der Termin wird mit allen Interessenten in einer Vorbesprechung ausgehandelt. Die Vorbesprechung und Einführung findet statt am:
Mittwoch, den 19. Okt. 2005, 16:15 Uhr Falls Sie Interesse haben, aber die Vorbesprechung nicht besuchen können, melden
Sie sich bitte bei |
