PST-Vorlesungen früherer Semester

Ludwig-Maximilians-Universität München, Institut für Informatik,
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

http://www.pst.ifi.lmu.de/lehre/index.html

Vorlesungen früherer Semester

(unvollständig)

SoSe 06

WS 05/06

SoSe 05

WS 04/05

SoSe 04

WS 03/04

SoSe 03

Informatik II (Wirsing)
Theoretische Informatik (Lehramt) (Kröger)
Formale Objektorientierte Software-Entwicklung (Hennicker)
Einführung in die Informatik: Systeme und Anwendungen (Nebenfach Informatik) (Hennicker)
Multi-Agenten-Systeme (Müller)

WS 02/03

SoSe 02

WS 01/02

SoSe 01

WS 00/01

Einführung in die Informatik: Programmierung und Software-Entwicklung (Hennicker, fachübergreifend)
Objektorientierte Software-Entwicklung (Hennicker)
Grundlagen der Systementwicklung (Wirsing / Merz)
Prozessalgebra (Kröger)

SoSe 00

Einführung in die Informatik: Systeme und Anwendungen (Backofen / Hennicker, fachübergreifend)
Informatik II (Wirsing)
Informatik IV (Kröger)
Constraintprogrammierung: Theorie und Anwendung (Frühwirth / Abdenadher)
Web-Engineering und Software-Entwicklung verteilter Systeme (Haggenmüller / Hennicker)

WS 99/00

Einführung in die Informatik: Programmierung und Software-Entwicklung (Frühwirth, fachübergreifend)
Informatik I (Wirsing)
Temporale Logik (Kröger)
Objektorientierte Softwareentwicklung (Hennicker)

SoSe 99

WS 98/99

Einführung in die Informatik: Programmierung und Software-Entwicklung (Wirsing)
Grundlagen der Programmierung: Semantik und Verifikation (Wirsing)
Temporale Logik (Kröger)
Zeitliches und Räumliches Schließen (Frühwirth)
Objektorientierte Software-Entwicklung (Hennicker)
Hauptseminar Kategorielle Logik und Semantik von Programmiersprachen (Wirsing, Kurz, Pattinson)

SoSe 98

Einführung in die Informatik: Programmierung und Software-Entwicklung (Hennicker)
Einführung in die Informatik IV (Kröger)
Methoden der Software-Entwicklung: Web-Engineering und Verteilte Systeme (Wirsing, Haggenmüller)
Formale objektorientierte Softwareentwicklung (Wirsing)
Parallele Programme (Kröger/Reiser/Gruschke)
Constraint-Programmierung (Clote, Wirsing, Frühwirth, Backofen)
Informatik-Proseminar "Prinzipien der objekt-orientierten Programmierung am Beispiel Java" (Wirsing/Reus)
Informatik-Hauptseminar "Ist Java sicher?" (Wirsing/Reus)

WS 97/98

SoSe 97

WS 96/97

SS 96

WS 95/96

SoSe 95

Datenstrukturen und Algorithmen

Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an wwwmaster@pst.informatik.uni-muenchen.de

Florian Hacklinger

Last modified: Thu Aug 25 16:30:31 CET 2005