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.

2019W, SE, 2.0h, 3.0EC

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

- die industrielle Relevanz und die kurz- und langfristigen Auswirkungen logikbasierter Methoden beschreiben
- praktische Grenzen logikbasierter Methoden verstehen

Inhalt der Lehrveranstaltung

In diesem einsemestrigen Kurs erhalten die Studierenden einen einführenden Überblick über die Forschungsschwerpunkte des LogiCS-Doktoratskollegs: Verifikation, Komputationale Logik und Datenbanken/Künstliche Intelligenz. Zu jedem der drei Gebiete wird ein Überblick durch Präsentationen der beteiligten Professoren gegeben. Das Hauptziel dieser Vorlesung ist die Anregung der interdisziplinären Forschung und die Studierenden über die Forschungsbereiche des LogiCS Doktoratskollegs zu informieren.

In der VO "Einführung in logische Methoden" muss jeder Studierende zwei Übungsaufgaben lösen, die aus den Bereichen ausgewählt werden, die nicht dem Forschungsbereich des Doktoratsbetreuers entsprechen.

Methoden

- Der Kurs besteht aus Vorlesungen und Hausaufgaben.
- Vorlesungsfolien werden online erstellt.
- In den Vorlesungen werden Übungsthemen für Hausaufgaben besprochen
- Hausaufgabenlösungen werden von den Studenten online eingereicht. Diese Lösungen werden von den Dozenten korrigiert und an die Studierenden zurückgesandt.
- Es wird individuelle Treffen mit Studenten geben, die Feedback zu ihrer gesamten Kursleistung geben.

Prüfungsmodus

Schriftlich

Weitere Informationen

3 ECTS (75 h): 15 einheiten*2h=30h ->

VO 40%=30 h

UE 60%=45 h


Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: https://www.tuwien.ac.at/fileadmin/t/ukanzlei/Lehre_-_Leitfaden_zum_Umgang_mit_Plagiaten.pdf
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.16:00 - 18:0001.10.2019Seminarraum FAV 01 A (Seminarraum 183/2) LogiCS Seminar
Di.15:00 - 17:0008.10.2019 - 28.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.16:00 - 18:0010.12.2019FAV Hörsaal 1 LogiCS Seminar
Di.15:00 - 17:0021.01.2020FAV Hörsaal 2 LogiCS Seminar
Research Seminar LogiCS - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.01.10.201916:00 - 18:00Seminarraum FAV 01 A (Seminarraum 183/2) LogiCS Seminar
Di.08.10.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.15.10.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.22.10.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.29.10.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.05.11.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.12.11.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.19.11.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.26.11.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.03.12.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.10.12.201916:00 - 18:00FAV Hörsaal 1 LogiCS Seminar
Di.17.12.201915:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.07.01.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.14.01.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.21.01.202015:00 - 17:00FAV Hörsaal 2 LogiCS Seminar
Di.28.01.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar

Leistungsnachweis

Zu jedem in der Vorlesung behandelten Themengebiet wird je eine Übungsaufgabe vom Vortragenden vorgestellt. Jeder Studierende muss zwei Übungsaufgaben lösen, die aus den Forschungsbereichen ausgewählt werden, die nicht dem Forschungsgebiet des Doktoratsbetreuers entsprechen.

LVA-Anmeldung

Von Bis Abmeldung bis
03.10.2019 01:00 31.10.2019 20:00 01.11.2019 15:00

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