184.766 Introduction to Logical Methods in Computer Science
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023S, VO, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

- describe the industrial relevance and long/short-term impact of logic-based methods, and understand the limitations of logic-based methods
- describe the fundamental research methods in Computer Science (qualitative and quantitative methods, as well as design and formal methods), and understand objectives and concepts of these research methods; be able to correctly apply fundamental research methods in their scientific research

Inhalt der Lehrveranstaltung

In this one-semester course, students gain an introductory overview of the main research areas of the LogiCS Doctoral Program: Verification, Computational Logic, Algorithms, Cyber-Physical Systems, Security and Databases / Artificial Intelligence. For each of these areas an overview is given by presentations of the participating professors. Further, the students learn about the fundamental research methods in Computer Science and their application to the scientific fields of the doctoral school. The objectives of this course are to inform the students about the research areas of the LogiCS@TUWien Doctoral College, to stimulate interdisciplinary research, and to introduce the fundamental research methods within the context of LogiCS@TUWien.

Methoden

- The course consists of in-class lectures + homework exercises; the lecture on qualitative research methods consists of pre-recorded lectures + interactive exercises
- The fundamental research methods are presented in the following form:
* Qualitative and quantitative methods are covered by one dedicated lecture each
* Design and formal methods are covered by a 15min block within each of the area overview talks; this format has been chosen to directly relate the design and formal methods aspects of each research area of the LogiCS@TUWien Doctoral College
- 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.

Prüfungsmodus

Mündlich

Weitere Informationen

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

3 ECTS (75 h): 14 Lectures*2h + 2h preparation = 30h

VO 40%=30 h

UE 60%=45 h

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
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 Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.10:00 - 12:0006.02.2023 (LIVE)SAT solving - Armin Biere
Mo.14:00 - 16:0006.02.2023 (LIVE)Modal Logic - Christian Fermüller
Mi.10:00 - 12:0008.02.2023 (LIVE)Computational Argumentation - Stefan Woltran
Mo.10:00 - 12:0013.02.2023 (LIVE)Set Programming - Thomas Eiter
Di.10:00 - 12:0014.02.2023 (LIVE)Fixed-Parameter Tractability - Robert Ganian
Mi.00:00 - 00:0015.02.2023 (LIVE)Quantitative methods - Ezio Bartocci
Mi.14:00 - 16:0015.02.2023 (LIVE)Model Checking - Josef Widder
Do.10:00 - 12:0023.02.2023 (LIVE)Proof Theory - Agata Ciabattoni
Fr.10:00 - 12:0024.02.2023 (LIVE)First Order Theorem Proving - Laura Kovacs
Fr.14:00 - 16:0024.02.2023 (LIVE)Software verification - Georg Weissenbacher
Fr.14:00 - 17:0024.02.2023 (LIVE)Qualitative methods - Geraldine Fitzpatrick
Di.10:00 - 12:0028.02.2023 (LIVE)Abstract Interpretation - Florian Zuleger
LVA wird geblockt abgehalten

Leistungsnachweis

Oral examination

Every student has to solve two exercises, which can be chosen from two areas that do not correspond to the research area of the doctoral supervisor (these areas can also include the lectures on quantitative and qualitative research methods).

LVA-Anmeldung

Von Bis Abmeldung bis
02.02.2023 00:00 05.03.2023 23:59

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Master Diplom in Mathematik, Informatik oder Philosophie mit der verstärkten Kenntnissen der Logik und Formaler Methoden

Sprache

Englisch