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
Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien
zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

oral examination

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