192.064 Seminar in Theoretical Computer Science
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, wird geblockt abgehalten

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

  • formale Methoden aus der parametrisierten Komplexität anzuwenden
  • und diese im Rahmen einer Implementierung praktisch zu realisieren
  • SAT systeme in der Praxis anzuwenden

 

Inhalt der Lehrveranstaltung

Wir bearbeiten in diesem Seminar Methoden aus der algorithmischen Graphtheorie und ihre Anwendungen auf  Fragestellungen in Boolean Satisfiability (SAT bzw. QSAT). Der Fokus im Seminar liegt  auf dem Entwurf und der Entwicklung effizienter parametrisierter Algorithmen. Im speziellen sollen Baumzerlegungen so verwendet werden, dass bestehende SAT-Systeme in entsprechende Algorithmen integriert werden können.

Methoden

Der Leistungsnachweis erfolgt auf Basis einer Ausarbeitung und Präsentation eines ausgewählten Lösungsalgorithmus und  seiner Implementierung.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS Breakdown:

  • 10h Vorstellung der Vortragsthemen
  • 30h Seminarausarbeitung inkl. Implementierung, 
  • 25h Präsentation (inkl. Vorbereitungszeit)


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
Mi.11:00 - 12:0023.10.2019Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting
LVA wird geblockt abgehalten

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.

Sprache

Englisch