Coronavirus - Informationen und Empfehlungen: https://colab.tuwien.ac.at/display/CORONA

185.316 Seminar aus Logik
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, wird geblockt abgehalten

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage ein wissenschaftliches Ergebnis im Schnittfeld von Logik und Informatik von Interesse zu studieren, zu verstehen, zu erklären und  durch geeignete Folien und Handouts unterstützt zu präsentieren. Außerdem können sie systematisch nach verwandter Literatur suchen.

Inhalt der Lehrveranstaltung

Die Seminar-Themen werden in Verbindung zu aktueller Forschung der beiden Lehrveranstaltungsleiter stehen. Konkret werden die Teilnehmer die Wahl zwischen zwei Themenbereichen haben: Beweistheorie und logische Dynamik von Agenten.

 

Methoden

various intividual meetings with the chosen lecturer

Prüfungsmodus

Mündlich

Weitere Informationen

Organisational Meeting: 

Montag, 9. März, 15.00, Seminarraum Gödel (FAV EG C), Favoritenstr. 9

ETCS Breakdown:3 ETCS = 75 Stunden

  • 12 Stunden: Seminartreffen (Vorträge und Diskussionen)
  • 30 Stunden: Presentation (samt Vorbereitung, Handout etc.)
  • 33 Stunden: Studium relevanter wissenschaftlicher Arbeiten


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
Mo.15:00 - 16:0009.03.2020Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
LVA wird geblockt abgehalten

Leistungsnachweis

A talk and handouts

LVA-Anmeldung

Von Bis Abmeldung bis
19.02.2020 09:00 29.05.2020 18:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Vorkenntnisse aus mathematischer Logik werden erwartet.

Weitere Informationen

Sprache

Englisch