Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

-  wissenschaftliche Ergebnisse einer breiten Öffentlichkeit zugänglich zu machen
-  gesellschaftliche und ethische Aspekte wissenschaftlicher Ergebnisse zu identifizieren.

Introductory overview about research areas inside Logic in Computer Science.

- Das Seminar besteht aus wöchentlichen Präsentationen in der Klasse, die von Studenten gehalten werden.
- Die Seminarpräsentationen basieren auf einer kritischen Überprüfung verwandter Arbeiten und neuester wissenschaftlicher Ansätze im Bereich der für die Präsentation ausgewählten Arbeit.
- Die Präsentation des Seminars umfasst Fragen beantwortende Sitzungen zwischen dem Sprecher und dem Publikum.
- Sofern zutreffend, werden der Präsentation Tool-Demos und / oder Fallstudien aus der Praxis beigefügt.

3 ECTS (75 h):

14 Einheiten pro Semester*1h=14h

14h * 6 Semester = 84 h

oral examination

Master Diplom in Mathematik, Informatik oder Philosophie mit der verstärkten Unterricht in Logik und Formale Methoden