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

- describe the industrial relevance and long/short-term impact of logic-based methods - understand practical limitations of logic-based methods

In this one-semester course, students gain an introductory overview of the main research areas of the LogiCS Doctoral Program: Verification, Computational Logic and Databases / Artificial Intelligence. For each of the three areas an overview is given by presentations of the participating professors. The main objective of this lecture is to stimulate interdisciplinary research and to inform students about the research areas of the LogiCS Doctoral College. In the introduction to logical methods, every student has to solve two exercises, which are selected from the areas that do not correspond to the research area of the doctoral supervisor.

- The course consists of in-class lectures and homework exercises.
- Lectures slide are made online.
- Exercise topics for homework exercise will be discussed during the in-class lectures
- Homework solutions will be submitted online by students. These solutions will be corrected

by the lecturers and returned to the students.
- There will be individual meetings with students providing feedback on their overall course performance.

Registration for the course is mandatory - the access link will only be sent to registered participants.

3 ECTS (75 h): 15 einheiten*2h=30h ->

VO 40%=30 h

UE 60%=45 h

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.at/fileadmin/Assets/dienstleister/Datenschutz_und_Dokumentenmanagement/Plagiarism.pdf

oral examination

Master's degree in mathematics, computer science or philosophy with an increased knowledge of logic and formal methods