Lehrveranstaltungen
Kontakt
Leitung
Sekretariat
Lehrveranstaltungen
Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX)
Wir sind beteiligt an der Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX). Informationen zu diesem Schwerpunkt finden Sie in der jeweiligen Beschreibung für den Fach-Bachelor Informatik oder den Fach-Master Informatik.
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 sowohl im Stud.IP als auch an der Pinnwand der Theoretischen Informatik im Flur vor dem Trakt A3 2. Etage. Sollten Sie Interesse an einer speziellen Veranstaltung haben, so sprechen Sie uns einfach an.
Vorlesungen
Für Bachlor-Studierende bieten wir an:
- Theoretische Informatik: Logik
- Grundlagen der Theoretischen Informatik
- Programmverifikation
- Algorithmen zur Software-Verifikation
Für Master-Studierende bieten wir an:
- Realzeitsysteme
- Verifikation objekt-orientierter Programme
- Kombination von Spezifikationstechniken
- Kommunizierende und mobile Systeme
- Synthese durch Spiele
Seminare und Proseminare
- Automatenmodelle in der Informatik
- Logik in der Informatik
- Diagramme in der Informatik
- Verifikation von Systemen mit unendlichen Zustandsräumen