Formale Systeme

Übungen zur Vorlesung im Wintersemester 2000/2001

Übungsaufgaben

• Übungsblatt 1
  Folien mit Lösungen zu Übungsblatt 1 (wie in der Übung am 25.10.00 besprochen)
• Übungsblatt 2
  Folien mit Lösungen zu Übungsblatt 2 (wie in der Übung am 08.11.00 besprochen)
• Übungsblatt 3
  Folien mit Lösungen zu Übungsblatt 3 (wie in der Übung am 22.11.00 besprochen)
• Übungsblatt 4
  Folien mit Lösungen zu Übungsblatt 4 (wie in der Übung am 06.12.00 besprochen)
• Übungsblatt 5
  Folien mit Lösungen zu Übungsblatt 5 (wie in der Übung am 20.12.00 besprochen)
• Übungsblatt 6 (Weihnachtsübungsblatt)
  Lösungen zu Übungsblatt 6
• Übungsblatt 7
  Folien mit Lösungen zu Übungsblatt 7 (wie in der Übung am 17.01.01 besprochen)
• Übungsblatt 8
  Folien mit Lösungen zu Übungsblatt 8 (wie in der Übung am 31.01.01 besprochen)
• Übungsblatt 9
  Folien mit Lösungen zu Übungsblatt 9 (wie in der Übung am 14.02.01 besprochen)

Klausuren

Weitere Informationen zu den Klausuren werden hier bekanntgegeben.

Aufgaben und Lösungen der Klausuren im WS 1999/2000: erste Klausur, zweite Klausur.

Skriptum und Folien zur Vorlesung

Die Folien zur Vorlesung können hier heruntergeladen werden.