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.

2018W, SE, 2.0h, 3.0EC

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 Propositional Satisfiability and 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

Homepage zum Kurs: http://www.star.dist.unige.it/~marco/SemTCS

 

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

 54 h Preparation: Reading selected research articles or book chapters
21 h Discussion of the research articles or book chapters (14 classes)

--------------------------------------------------------------------------------
 75 h = 3 Ects

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
Do.10:00 - 13:0004.10.2018Seminarraum FAV EG B (Seminarraum von Neumann) Kick-Off
Di.10:00 - 13:0009.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class
Do.10:00 - 13:0011.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class
Di.10:00 - 13:0016.10.2018 Meeting Room Hahn, 3rd Floor, Favoritenstrasse 9-11class
Do.10:00 - 13:0018.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class
Di.10:00 - 13:0023.10.2018 Meeting Room Hahn, 3rd Floor, Favoritenstrasse 9-11class
Do.10:00 - 13:0025.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class

Leistungsnachweis

 

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch