Formale Methoden 2

VO 2 + UE1   SS 2005   LVA 703001 + 703002

Evaluation

Vorlesungsprüfung 29. Juni

VO	Die erste Vorlesungsprüfung findet am 29. Juni statt und ist "closed-book".

1-up	erste Prüfung (A)	erste Prüfung (B)
1-up	Lösung A	Lösung B
results

Vorlesungsprüfung 16. September

VO    Die zweite Vorlesungsprüfung findet am 16. September, um 10:00 statt und ist "closed-book", Hörsaal D.

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

Dritte Vorlesungsprüfung

VO    Die dritte Vorlesungsprüfung findet aam 13. März um 9.15-10.45 in HS G statt. Die Pruefung ist schriftlich und "closed-book". Bitte melden Sie sich online fuer die Pruefung an.

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

Übungsmodus

Übungen sind LVA mit permanenten Prüfungscharakter. Dh. wöchentliche Hausaufgaben, die online abfragbar sind. Alle Beispiele durchrechnen und immer damit rechen, eines der angegebenen Beispiele vorzurechnen. Zusätzlich werden 3 Übungstest (30 min) abgehalten, mit mutiple-choice Fragen. Die Test finden am 18. April, 9. Mai und am 6. Juni statt. Davon werden die besten 2 gewertet.

Übungstest 18. April

Der erste Übungstest (closed book, mutiple-choice) beinhaltet den Stoff der ersten 5 Wochen (2.3. bis 13.4.). Besonderes Augenmerk auf formales Beweisen. Dauer: 30 min. In den verbleibenden 15 min. werden die aufgegebenen Beispiele besprochen.

1-up	erster Test
1-up	Test mit Lösung
results

Übungstest 9. Mai

Der zweite Übungstest (closed book, mutiple-choice) beinhaltet den Stoff der ersten 8 Wochen (2.3. bis 4.5.). Dauer: 30 min. In den verbleibenden 15 min. werden die aufgegebenen Beispiele besprochen.

1-up	zweiter Test
1-up	Test mit Lösung
results

Übungstest 6. Juni

Der dritte Übungstest (closed book, mutiple-choice) beinhaltet den Stoff der Vorlesung in den Wochen 9 bis einschließlich 12. (6.5 bis 1.6.). Dauer: 30 min. In den verbleibenden 15 min. werden die aufgegebenen Beispiele besprochen.

1-up	dritter Test
1-up	Test mit Lösung
results