After successful completion of the course, students are able to...
The primary purpose of this seminar is to get to know methods of scientific discourse such as indepedent reading, presentation and discussion of mathematical 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 advisor on an individual basis.
Presentation and discussion
Written seminar paper and oral presentation
Not necessary