After successful completion of the course, students are able to....Diese LVA dient der Vorbereitung der Studierenden zum selbständigen Wissenserwerb aus der Literatur. Die Inhalte der Lehrveranstaltung werden mit den Studenten zu Beginn dieser festgelegt.
Da laut Verfassung die Wissenschaft und ihre Lehre frei sind, können die Lehrinhalte jederzeit im Abstimmung mit den Studenten während der LVA verändert werden. Es erübrigt sich daher, im vorhinein Lernergebnisse festzulegen.
The lecture is presented according to Takeuti: Proof Theory and the publications of the lecturer.
Vorträge des Lehrenden und Diskussionen mit den Studenten.
Absolvierung einer mündlichen Prüfung.
Not necessary