Lehre im Sommersemester 2008

Grundstudium

[Vorlesung] Praktische Informatik 2

Grundvorlesung für das zweite Semester. Die Vorlesung behandelt Prinzipien und Anwendungen der logischen und funktionalen Programmierung am Beispiel der Programmiersprachen Prolog und Haskell. Weiterhin wird in das Gebiet der modellbasierten Softwareentwicklung am Beispiel der UML eingeführt.

Zur Vorlesung findet ein Einzelpraktikum mit den Schwerpunkten Java, Prolog und Haskell statt.

Weitere Informationen auf der Website der Veranstaltung .

[Proseminar] Beauty is our Business

... 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 und zu kleinen formalen Begriffen und Ableitungen werden in diesem Proseminar behandelt mit dem Ziel, sie 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

[Seminar] Theorie der Programmierung

Das Seminar behandelt aktuelle Techniken zur Modellierung rechnergestützter Systeme (Prozessalgebren, logikbasierte Methoden, Petrinetze), entsprechende Analysetechniken (temporale Logik, Invarianten, strukturelle Techniken) und Verfahren zum systematischen Entwurf (rely/guarantee, assume-commit, kompositionale Spezifikation, hierarchisches Verfeinern).

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.