Lehre im Sommersemester 2007
Grundstudium
Beauty is our Business (Proseminar)
... heißt ein bekannter "Klassiker" des Informatikers Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.
Weitere Informationen auf der Website der Veranstaltung .
Hauptstudium
Verteilte Algorithmen (Vorlesung)
Ein Algorithmus heißt verteilt, wenn er auf einer physikalisch oder logisch verteilten
Architektur arbeitet. Solche Algorithmen werden praktisch zunehmend wichtiger. In
der Vorlesung wird eine Reihe solcher Algorithmen vorgestellt und ihre Korrektheit
bewiesen. Mit Vorlesung zu Methoden und Modellen des Systementwurfes ergänzt
sich dieser Halbkurs zu einem Ganzkurs.
Weitere Informationen auf der
Website der Veranstaltung
.
Geschäftsprozessmodellierung (Seminar PI/ThI)
Im Seminar werden neue Methoden zur Modellierung und Analyse von Geschäftsprozessen behandelt.
Weitere Informationen auf der Website der Veranstaltung.
Theorie der Programierung (Seminar PI)
Weitere Informationen auf der Website der Veranstaltung.
Sonstiges
Forschungsseminar des Lehrstuhles
Im Forschungsseminar werden aktuelle Themen im wöchentlichen Rhythmus von wechselnden Referenten vorgetragen. Das Seminar richtet sich an Studenten wie auch Mitarbeiter des Instituts.
Das Forschungsseminar findet jeden Mittwoch um 15:15 im Raum 4.410 RUD25 statt. Ansprechpartner: Peter Massuthe.
Archiv
Eine Übersicht über Veranstaltungen der vergangenen Semester finden Sie im Archiv.
Theorie der Programmierung | Kontakt | zuletzt geändert am 05.02.2008 22:05