Art und Inhalt |
|
| Titel: | Formal Development of Programs |
| Veranstalter: | Völzer |
| Einordnung: | Bachelor-Studiengang ab 1. Semester, Wahlpflicht Diplom-Studiengang ab 1. Semester, Wahl |
| Inhalt: | 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. |
Vorlesung |
|
| Veranstalter: | Völzer |
| Umfang: | Proseminar in englischer Sprache, 4 ECTS |
| Termine: | 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 |
