After successful completion of the course, students are able to
- describe the industrial relevance and long/short-term impact of logic-basedmethods - understand practical limitations of logic-based methods
In this one-semester course, students gain an introductory overview of the mainresearch areas of the LogiCS Doctoral Program: Verification, Computational Logicand Databases / Artificial Intelligence. For each of the three areas an overview isgiven by presentations of the participating professors. The main objective of thislecture is to stimulate interdisciplinary research and to inform students about theresearch areas of the LogiCS Doctoral College. In the introduction to logicalmethods, every student has to solve two exercises, which are selected from theareas 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-classlectures- Homework solutions will be submitted online by students. These solutions will becorrectedby the lecturers and returned to the students.- There will be individual meetings with students providing feedback on their overallcourse performance.
3 ECTS (75 h): 15 einheiten*2h=30h ->VO 40%=30 hUE 60%=45 hBeachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wienzum Umgang mit Plagiaten: https://www.tuwien.ac.at/fileadmin/t/ukanzlei/Lehre_-_Leitfaden_zum_Umgang_mit_Plagiaten.pdf
oral examination
Master's degree in Mathematics, Computer Science or Philosophy with the enhanced instruction in Logic and Formal Methods