Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
Der Zweck dieses Seminars ist es Methoden des wissenschaftlichen Diskurses wie das eigenständige Erarbeiten, Präsentieren und Diskutieren von wissenschafltichen Resultaten in Wort und Schrift zu beherrschen. Darüber hinaus dient dieses Seminar zur Vorstellung eines Themenbereichs der mathematischen Logik oder theoretischen Informatik der über den durch Vorlesungen abgedeckten Bereich hinausgeht.
Wir werden gemeinsam verschiedene Buchkapitel und wissenschaftliche Artikel zum Thema "Rechnen mit (logischen) Formeln" lesen.
Präsentation und Diskussion
Schriftliche Arbeit und mündlicher Vortrag
Nicht erforderlich