181.206 Logic seminar
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020S, SE, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar

Learning outcomes

After successful completion of the course, students are able to...

  • use formal methods from the area of parameterized complexity
  • and apply them in practice doing concrete implementations
  • apply SAT tools in practice

Subject of course

In this seminar, we discuss algorithmic graph theory and the use of its methods for the problems in the fields of boolean satisfiability (SAT), databases, and answer set programming (ASP). We focus on the design and implementation of parameterized algorithms in this area.

Teaching methods

Design, implementation, and presentation of a parameterized algorithm.

Mode of examination

Immanent

Additional information

ECTS Breakdown:

  • 10h introduction to subject matter
  • 30h algorithm design and implementation, 
  • 25h presentation (including time to prepare)


Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: http://www.tuwien.ac.at/fileadmin/t/ukanzlei/t-ukanzlei-english/Plagiarism.pdf


Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: https://www.tuwien.ac.at/fileadmin/t/ukanzlei/t-ukanzlei-english/Plagiarism.pdf
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: https://www.tuwien.at/fileadmin/Assets/dienstleister/Datenschutz_und_Dokumentenmanagement/Plagiarism.pdf

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed16:00 - 17:0011.03.2020Seminarraum FAV EG B (Seminarraum von Neumann) Kick-Off Meeting

Examination modalities

Assessement is based on the implementation and the oral presenation.

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

if required in English