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.

2016W, 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)

Vortragende Personen

  • Maratea, Marco

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.10:00 - 12:0006.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Vorbesprechung
Di.10:00 - 13:0011.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Mi.10:00 - 12:0012.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Di.14:00 - 16:0018.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Mi.10:00 - 13:0019.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Di.14:00 - 17:0025.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Do.10:00 - 13:0027.10.2016 Meeting room Menger, Favoritenstr. 9, Stiege 3, 3rd floorPraesentationen der Studenten
Do.16:00 - 19:0027.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Praesentationen der Studenten
Fr.10:00 - 13:0028.10.2016 Besprechungsraum Menger, Favoritenstr. 9, Stiege 3, 3. StockPraesentationen der Studenten
LVA wird geblockt abgehalten

Leistungsnachweis

Work on selected research articles or book chapters

LVA-Anmeldung

Von Bis Abmeldung bis
05.09.2016 00:00 11.10.2016 23:59 12.10.2016 23:59

Anmeldemodalitäten

Anmeldung im TISS

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Englisch