50 Jahre Uni Lübeck

Institut für Theoretische Informatik

WS 2005/2006 – Formal Development of Programs



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 presentation

We 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
Seminarraum Theoret. Informatik, Gebäude 64, 2. Stock, Raum 21

Falls Sie Interesse haben, aber die Vorbesprechung nicht besuchen können, melden Sie sich bitte bei
Dr. Hagen Völzer, Gebäude 64, 2. Stock, Raum 17,
Tel. 500 5314
voelzer@tcs.uni-luebeck.de