181.185 Seminar aus theoretischer Informatik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017W, SE, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

Ziele der Lehrveranstaltung

The aim of the course is to analyze and present scientific work in the area of theoretical computer science. In particular, we will study advanced algorithms with focus on Answer Set Programming.

Inhalt der Lehrveranstaltung

The subject of the course is abstract solvers, i.e. a formal way for describing solving algorithms.

Weitere Informationen

Aufwandsabschätzung

 54 h Vorbereitung:Lesen von ausgewählten Forschungsartikeln bzw. Buchkapiteln
 21 h Besprechung der Forschungsartikel bzw. Buchkapitel (14 Termine)
 
--------------------------------------------------------------------------------
 75 h = 3 Ects

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

Vortragende Personen

  • Maratea, Marco

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.10:00 - 12:0005.10.2017Seminarraum FAV EG B (Seminarraum von Neumann) Vorbesprechung
Mo.10:00 - 12:0009.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mi.10:00 - 13:0011.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mo.10:00 - 12:0016.10.2017Seminarraum FAV EG B (Seminarraum von Neumann) Lecture
Mi.10:00 - 13:0018.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mo.10:00 - 12:0023.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mi.10:00 - 12:0025.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mo.10:00 - 12:0030.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockPresentations
Di.10:00 - 13:0031.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockPresentations
LVA wird geblockt abgehalten

Leistungsnachweis

Work on selected research articles or book chapters

LVA-Anmeldung

Von Bis Abmeldung bis
04.09.2017 00:00 10.10.2017 23:59 11.10.2017 23:59

Anmeldemodalitäten

Anmeldung im TISS

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Englisch