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
Nicht erforderlich
Master Diplom in Mathematik, Informatik oder Philosophie mit der verstärkten Kenntnissen der Logik und Formaler Methoden
