Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage den Epsilon-Formulismus zu beherrschen, das erste und zweite Epsilon-Theorem zu beweisen sowie den Satz von Herbrand in seiner Problemstellung und Folgewirksamkeit zu analysieren.
Syntax des Epsilon Kalküls, Epsilon Theoreme 1 und 2.
Vorträge des Lehrenden und Diskussionen mit den Studierenden.
Positive Absolvierung einer mündlichen Prüfung.
Nicht erforderlich