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.

2021W, PR, 4.0h, 10.0EC

Properties

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

Learning outcomes

After successful completion of the course, students are able to...

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon17:00 - 19:0018.10.2021 Besprechungsraum des Instituts für Diskrete Mathematik, FH, DA05 C22Vorbesprechung

Examination modalities

Written paper and oral presentation

Course registration

Not necessary

Curricula

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

Literature

No lecture notes are available.

Language

German