104.243 Project in Logic with Bachelor Thesis
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020W, PR, 4.0h, 10.0EC


  • Semester hours: 4.0
  • Credits: 10.0
  • Type: PR Project
  • Format: Hybrid

Learning outcomes

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 course is to exercise methods of scientific discourse such as indepedent reading, presentation and discussion of mathematical results in both written and in oral form. Beyond that, the bachelor thesis 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.

Subject of course

The topic of the bachelor thesis will be discussed with the advisor.

Teaching methods

Writing and discussing a written paper, presentation with discussion

Mode of examination

Written and oral



Examination modalities

Written paper and oral presentation

Course registration

Not necessary


Study CodeSemesterPrecon.Info
033 201 Technical Mathematics 6. SemesterSTEOP
Course requires the completion of the introductory and orientation phase


No lecture notes are available.