Lehre

 

1 Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX)

Wir sind beteildigt an der Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX). Informationen zu diesem Schwerpunkt finden Sie hier.

 

2 Veranstaltungen der Abteilung

Hier finden Sie eine nicht vollständige Liste der Veranstaltungen, die von unserer Abteilung angeboten werden. Aktuelle Informationen zu den Veranstaltungen finden sie auch im Stud.IP. Sollten Sie Interesse an einer speziellen Veranstaltung, die wir unregelmäßig anbieten, haben, so sprechen Sie uns einfach an.

2.1 Vorlesungen

Für Bachlor-Studenten bieten wir an:

• Theoretische Informatik I (von meiner Abteilung wieder im SS12, SS 13)
• Theoretische Informatik II
• Formale Sprachen (wird angeboten im SS13)
• Graphersetzungssysteme (wird angeboten im WS13/14)

Für Master-Studenten bieten wir an:

• Korrektheit von Graphprogrammen (wird angeboten im SS12, SS14)
• Termersetzungssysteme

2.2 Seminare

• Verifikation von Graphprogrammen (wird angeboten im SS12)
• Anleitung zum wissenschaftliches Arbeiten