192.033 Logic and Reasoning in Computer Science
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2024S, VU, 4.0h, 6.0EC
  • TUWEL-Kurs verfügbar ab: 01.03.2024 00:00.

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

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

- model problems rigorously using  logic

- reason and prove problems algorithmically 

- solve problems by means of computer-assisted tools. 

Inhalt der Lehrveranstaltung

Logic offers precision and trust and it is at the base of very many applications in various fields. Logic-based automated reasoning is undergoing a rapid development thanks to its successful use in Artificial Intelligence, system development, software verification, security analysis, theorem proving in mathematics, legal reasoning and many other areas.

This course focuses on modeling, proving and solving computer science challenges using automated reasoning techniques in various fragments of first-order logic. In particular, we will focus on specialised algorithms for modeling and solving problems in propositional logic, and combination of data stucture theories. 

We will address both the theoretical and practical aspects of logical formalization, developing reasoning procedures, and using computer-supported methods for solving computer science challenges. 

The tentative list of topics covered by the course is below:

  • mathematical foundations
  • propositional and first-order logic: syntax, semantics and formalizations
  • satisfiability checking in propositional logic (splitting, DPLL);
  • proof calculi
  • satisfiability checking in the theory of arithmetic, uninterpreted functions and arrays;
  • satisfiability checking the the combination of theories (SMT); 
  • hands-on sessions using SAT solvers, SMT solvers and first-order theorem provers. 

Methoden

The topics of the course are presented during in-class lectures. Lecture slides accompanying the lectures will be made online. Lecture will be recorder and recordings will also be made online.

Short quizzes will be made online and should be completed. These quizzes will assess the general understanding of the lecture topics. There will be all together 6 quizzes, with each quiz leading to a maximum of 10 points.

Exercise sessions are included within regular lectures, allowing students to consolidate and practice their knowledge. There will be three blocks of homeworks, with each block coming with a new exercise sheet. Per exercise sheet, students will have to solve 2 exercise problems and 1 tool-based reasoning task.  

 

Prüfungsmodus

Schriftlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.09:00 - 11:0001.03.2024Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU - Kickoff
Fr.09:00 - 11:0008.03.2024 - 14.06.2024Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.11:00 - 13:0013.03.2024 - 12.06.2024Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.13:00 - 15:0003.05.2024Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mo.11:00 - 13:0006.05.2024EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 1
Mo.13:00 - 15:0006.05.2024EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 1
Di.14:00 - 16:0007.05.2024EI 8 Pötzl HS - QUER Logic and Reasoning in Computer Science - Exercises Block 1
Mo.11:00 - 13:0003.06.2024EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 2
Mo.13:00 - 15:0003.06.2024EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 2
Di.14:00 - 16:0004.06.2024EI 8 Pötzl HS - QUER Logic and Reasoning in Computer Science - Exercises Block 2
Mo.11:00 - 13:0017.06.2024EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 3
Mo.13:00 - 15:0017.06.2024EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 3
Di.14:00 - 16:0018.06.2024Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science - Exercises Block 3
Fr.10:00 - 13:0021.06.2024GM 1 Audi. Max.- ARCH-INF Logic and Reasoning in Computer Science - Exam 1
Logic and Reasoning in Computer Science - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.01.03.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU - Kickoff
Fr.08.03.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.13.03.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.15.03.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.20.03.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.22.03.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.10.04.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.12.04.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.17.04.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.19.04.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.24.04.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.26.04.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.03.05.202413:00 - 15:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mo.06.05.202411:00 - 13:00EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 1
Mo.06.05.202413:00 - 15:00EI 9 Hlawka HS - ETIT Logic and Reasoning in Computer Science - Exercises Block 1
Di.07.05.202414:00 - 16:00EI 8 Pötzl HS - QUER Logic and Reasoning in Computer Science - Exercises Block 1
Mi.08.05.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.15.05.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Fr.17.05.202409:00 - 11:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU
Mi.22.05.202411:00 - 13:00Informatikhörsaal - ARCH-INF Logic and Reasoning in Computer Science VU

Leistungsnachweis

In order to enter the written exam, students are required to

- have gained at leat 40 points from the 6 online quizzes; 

- have completed  3 exercises per exercise sheets, submitted in due time. 

The exam is a regulated open-book, written exam. Regulated open-book means that students are allowed to bring printed lecture notes (in whatever paper format), but they are not allowed to use of any electronic device during the exam. 

 

LVA-Anmeldung

Von Bis Abmeldung bis
05.02.2024 09:00 08.03.2024 23:59 08.03.2024 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 521 Informatik Pflichtfach4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch