Formale Methoden 2

VO 2 + UE 1   SS 2007   LVA 703019 + 703020

Evaluation

Übungstest 14. Mai

Der Uebungstest beinhaltete den Stoff der ersten 8 Wochen, im Besonderen wurde nach regulären Ausdrücken, Teilmengenkonstruktion und die Umwandlung eines DEA in eine regulären Ausdruck gefragt.

Test 1A	Test 1B	Test 2A	Test 2B
Lösung zu 1A	Lösung zu 1B	Lösung zu 2A	Lösung zu 2B
Testergebnisse

Übungsgesamtnote

Übungsnoten

Vorlesungspruefung 29. Juni

Die erste Vorlesungspruefung fand am 29. Juni um 12:15 in HS B statt und war "closed-book".
Für eine Prüfungseinsicht wenden Sie sich bitte an Georg Moser (3N01), Sprechstunde Montag 13:00--15:00.

1-up	erste Prüfung
1-up	Lösung
Ergebnisse

Vorlesungsprüfung 5. Oktober

Die zweite Vorlesungspruefung fand am 5. Oktober um 16:15 im HS 10 statt.

1-up	zweite Prüfung
1-up	Lösung
Ergebnisse

Dritte Vorlesungsprüfung

Die dritte Vorlesungsprüfung fand am 7. März um 16:15 im HS 10 statt und war "closed-book".

1-up	dritte Prüfung
1-up	Lösung
Ergebnisse