After successful completion of the course, students are able to...
( Please ignore the above phrase. It cannot be modified by the lecturer. )
The primary purpose of this seminar is to master methods of scientific discourse such as indepedent reading, presentation and discussion of scientific results in both written and in oral form. Beyond that, the seminar also provides an opportunity to get to know a topic in mathematical logic or theoretical computer science which goes beyond the areas covered by lectures.
The participants of this seminar study a topic in mathematical logic or theoretical computer science together. The topic is discussed with the lecturer on an individual basis.
Presentation and discussion
Written seminar paper and oral presentation
If you want to participate in this seminar, please register with the lecturer per e-mail until the 4th of October.
Grundsätzlich richtet sich dieses Seminar an fortgeschrittene Studenten der Mathematik. Folglich werden Vorkenntnisse und eine mathematische Reife erwartet die in etwa einem einschlägigen Bachelor-Abschluss entsprechen. Es ist empfehlenswert bereits einführende Vorlesungen zur theoretischen Informatik und/oder mathematischen Logik absolviert zu haben.