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.

2019S, SE, 2.0h, 3.0EC

Merkmale

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

Ziele der Lehrveranstaltung

Wissenschaftliches Arbeiten im Bereich der Logik

Inhalt der Lehrveranstaltung

Wir bearbeiten in diesem Seminar Methoden aus der algorithmischen Graphtheorie und ihre Anwendungen auf  Fragestellungen in Boolean Satisfiability (SAT), Datenbanken und Answer Set Programming (ASP). Der Fokus im Seminar liegt  auf dem Entwurf und der Entwicklung effizienter parametrisierter Algorithmen.  

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: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:00 - 17:0013.03.2019 Besprechungsraum Menger HF0311, Favoritenstr.9-11, 3. StockVorbesprechung

Leistungsnachweis

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

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

bei Bedarf in Englisch