Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage mit induktiven Kalkülen in der Arithmetik umzugehen und wichtige beweistheoretische Prinzipien der Induktion zu erfassen.
Genaue Analyse des papers von von J. Brotherston und A. Simpson ``Sequent calculi for induction and infinite descent'' und Verbindung zu standard Kalk"ulen der Arithmetik.
Vorbereitung der Vorträge gemeinsam mit den Studierenden. Diskussion und Analyse der Vorträge. Präsentation weiterführender Themen durch die Lehrversnastaltungsleiter.
Die Vorbesprechung des Seminars findet am 6. Oktober 2021 im Seminarraum Gödel statt.
Bewertung der Vorträge und Mitarbeit der Studierenden.
Fundierte Kenntnis der Prädikatenlogik