Formale Sprachen

Lehre

Verwandte Themen:

 

weiter zum Seitenanfang

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.

 

weiter zum Seitenanfang zurück

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.

weiter zum Seitenanfang zurück

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

weiter zum Seitenanfang zurück

2.2 Seminare

  • Verifikation von Graphprogrammen (wird angeboten im SS12)
  • Anleitung zum wissenschaftliches Arbeiten
 zum Seitenanfang zurück