184.767 Research Seminar LogiCS
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, SE, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar

Lernergebnisse

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.

Inhalt der Lehrveranstaltung

Introductory overview about research areas inside Logic in Computer Science.

Methoden

- 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.


Prüfungsmodus

Mündlich

Weitere Informationen

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: https://www.tuwien.at/fileadmin/Assets/dienstleister/Datenschutz_und_Dokumentenmanagement/Lehre_-_Leitfaden_zum_Umgang_mit_Plagiaten.pdf

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.15:00 - 17:0003.03.2020 - 10.03.2020Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Research Seminar LogiCS - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.03.202015:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Di.10.03.202015:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS

Leistungsnachweis

oral examination

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

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

Sprache

Englisch