Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage
Die Seminar-Themen werden in Verbindung zu aktueller Forschung des Lehrveranstaltungsleiters stehen. Konkret werden die Teilnehmer die Wahl aus verschiedenen Themen der Beweistheorie- und Analyse haben, darunter, aber nicht beschränkt auf, Themen wie Schnittelimination, Beweisformalisierungen, Nicht-Standard Formalisierungen bezogen auf Linguistik und Künstliche Intelligenz.
Die Studierenden müssen
ECTS Breakdown:
Die Beurteilung basiert auf den Ausarbeitungen und mündlichen Präsentationen
Nicht erforderlich
(Einfache) Vorkenntnisse aus mathematischer Logik werden erwartet.