Logik und Formale Methoden

Formale Systeme (WS 07/08)

  • Typ: Vorlesung
  • Dozent:

    Prof. P. H. Schmitt
    Mattias Ulbrich

  • SWS: 3
  • Prüfung:

    Klausur, 60 Minuten

  • Hinweis:

    Es gibt einen Übungsbetrieb mit Übungsblättern und wöchentlichen Tutorien.

    Lösungen zu den Übungsblättern werden bewertet und ein Bonus für die Klausur kann erreicht werden.