Diese Seiten sind veraltet. Bitte besuchen Sie unsere neue Homepage.

Institut für Theoretische Informatik Forschungsgruppe Prof. Dr. P. H. Schmitt

Studium und Lehre

Vorlesungen

	Formale Systeme (pdf-Datei, komprimierte pdf-Datei, Folien) Wahlpflichtvorlesung im Hauptstudium Version: Winter 2007/2008 Seite zur Vorlesung und zu den Tutorien
	Formaler Entwurf und Verifikation von Programmen Skript (ps-Datei), Folien 2007, Buchkapitel Hauptdiplomvorlesung im Vertiefungsfach "Theoretische Grundlagen" Version: Sommer 2007
	Nichtklassische Logiken (ps-Datei, komprimierte ps-Datei, Folien (postscript), Folien (pdf)) Hauptdiplomvorlesung im Vertiefungsfach "Theoretische Grundlagen" Version: Sommer 2004
	Informatik III (ps-Datei, komprimierte ps-Datei, Folien) Einführungsvorlesung im dritten Semester Version: Winter 1997/98
	Sprachen und Automaten (ps-Datei, komprimierte ps-Datei, Folien) Hauptdiplomvorlesung im Vertiefungsfach "Logik und theoretische Grundlagen" Version: Winter 1994/95

Seminare

	Seminar Konferenzseminar: Formale Verifikation und Spezifikation in mobilen Sensornetzwerken (WS 2007/2008)
	Seminar Theorie und Anwendung von Model Checking (SS 2007)
	Seminar Formale Software-Entwicklung (SS 2007)
	Seminar Formale Software-Entwicklung (SS 2006)
	Seminar Formale Software-Entwicklung (SS 2005)
	Seminar Formale Software-Entwicklung (SS 2004)
	Proseminar Modellierung von Software Systemen mit Logik (SS 2002)

Praktika

	Formale Entwicklung objektorientierter Software (WS 2007/2008)
	Formale Entwicklung objektorientierter Software (WS 2006/2007)
	Formale Entwicklung objektorientierter Software (WS 2005/2006)
	Formale Entwicklung objektorientierter Software (WS 2004/2005)
	Formale Entwicklung objektorientierter Software (WS 2003/2004)
	Formale Entwicklung objektorientierter Software (WS 2002/2003)
	Digitale Signaturen in der Anwendung: Ein Projekt in formaler Modellierung (WS 2001/2002)
	Formale Entwicklung objektorientierter Software (SS 2001)
	Entwicklung von Java Card-Applets (WS 2000/2001)