181.206 Seminar aus Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

  • eine Literaturrecherche zu einem Thema oder einem Ergebnis im Schnittfeld von Logik und Informatik durchzuführen,
  • das Thema oder Ergebnis zu studieren, zu verstehen und zu erklären,
  • und eine Implementierung oder Anwendungsthema zu präsentieren.

Inhalt der Lehrveranstaltung

Wir bearbeiten in diesem Seminar Methoden zur Lösung von Zählproblemen im Bereich Boolean Satisfiability (SAT), Answer Set Programming (ASP), Computational Social Choice, Bayesian Reasoning. Der Fokus im Seminar liegt  auf dem Entwurf und der Entwicklung effizienter Algorithmen.  

 

Methoden

Die Studierenden müssen

  • eine Literaturrecherche zu einem gewählten Thema durchführen,
  • ein Vortragskonzept zum gewählten Thema erstellen oder einen Algorithmus effizient implementieren, und
  • einen 30-45minütigen Vortrag halten.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS Breakdown:

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

Abhaltemodus Sommersemester 2022:

  • Die Vorbesprechung findet online via ZOOM statt. Es ist geplant, dass die Präsentation/Vorträge in Präsenz abgehalten werden. 
  • Wir behalten uns aber vor, wenn es die Situation erfordern sollte, auf Distance Learning umzustellen.
  • Bei etwaigen Distance Learning ist folgendes Equipment ausreichend: geeigneter Arbeitsplatz, stabile Internetverbindung, Notebook mit integrierter Kamera & Headset (oder vergleichbarer Setup)

 

Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.14:00 - 15:3031.03.2022 https://tuwien.zoom.us/j/97918968264?pwd=b0Zvdkw3OTdVVHRRK3d3N1pFK1djZz09 (LIVE)Vorbesprechung (gemeinsam mit 181.034 Seminar aus Artificial Intelligence)
Mi.16:00 - 17:3006.04.2022 https://tuwien.zoom.us/j/97991695094?pwd=eU42dit3N3lwYmRjKzFEbGRvUkVLQT09 (LIVE)Vorbesprechung (Themenvorstellung)

Leistungsnachweis

Die Beurteilung basiert auf den Ausarbeitungen und mündlichen Präsentationen

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

(Einfache) Vorkenntnisse aus mathematischer Logik werden erwartet.

Sprache

bei Bedarf in Englisch