Logic and Formal Methods

Formale Systeme (WS 07/08)

  • Type: Vorlesung
  • Lecturer:

    Prof. P. H. Schmitt
    Mattias Ulbrich

  • SWS: 3
  • Exam:

    Klausur, 60 Minuten

  • Information:

    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.