Lehrveranstaltungen



Wahlmodul 1: Automaten und Logik (7,5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis auf dem Gebiet der endlichen Automaten und der Logik. Studierende beherrschen die Konzepte und theoretischen Werkzeuge, die der rechnergestützten Verifikation zugrundeliegen im vollen Umfang und können diese auch gegebenenfalls eigenständig weiterentwickeln.
Zur übergeordneten Rubrik
703302
VO Automaten und Logik (VO / 2h / 4,5 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung
703303
PS Automaten und Logik (PS / 2h / 3 ECTS-AP)
Christina Kirk
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.