Logic and Computability (WS 2025/26)
Table of Content
Content
- Syntax and semantics of logic formulas in * propositional logic and * predicate logic (first-order logic) - Basics of logical reasoning (natural deduction) - Combinational equivalence checking - Propositional satisfiability problem, DPLL algorithm, and resolution proofs - Binary Decision Diagrams - First-Order Theories - Satisfiability modulo TheoriesAdministrative Information
Previous Knowledge
Basic programming skills: - Understanding of pseudo code - Programming in pythonPrerequisites Curriculum
See position in the curriculumObjective
Understanding the construction, interpretation, and representation of logic formulas, understanding logic proof systems, ability to construct logic proofs, understanding the fundamental limitations of the computing abilities of digitial computers, mastering common proof techniques of computer science, understanding selected decision problems and the underlying algorithmsLanguage
EnglishTeaching Method
Lecture, partially supported by PowerPoint presentations and blackboard (exercises and examples)How to get a grade
Default: written exam. Oral exams are possible at the candidates discretion. If less than four candidates are registered for a particular exam date, this exam will be conducted orally.Registration
https://online.tugraz.at/tug_online/ee/rest/pages/slc.tm.cp/course-registration/589245Lecture Dates
| Date | Begin | End | Location | Event | Type | Comment |
|---|---|---|---|---|---|---|
| 2025/10/06 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/10/13 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/10/20 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/20 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/10/20 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/10/20 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/20 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/10/20 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/10/20 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/10/20 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/10/20 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/10/20 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/20 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/10/20 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/10/20 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/27 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/27 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/10/27 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/10/27 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/10/27 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/10/27 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/10/27 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/27 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/10/27 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/Gruppe 5 |
| 2025/10/27 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/27 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/10/27 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/10/27 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/10/27 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/10/31 | 10:00 | 12:00 | Seminarraum | Abhaltung | KU | fix/Fragestunde |
| 2025/11/03 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/03 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/11/03 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/03 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/03 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/11/03 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/03 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/03 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/03 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/03 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/03 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/03 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/11/03 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/07 | 10:00 | 12:00 | Seminarraum | Abhaltung | KU | fix/Fragestunde |
| 2025/11/10 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/10 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/11/10 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/10 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/10 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/10 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/10 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/11/10 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/10 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/10 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/10 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/10 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/11/10 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/14 | 10:00 | 12:00 | Seminarraum | Abhaltung | KU | fix/Fragestunde |
| 2025/11/17 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/17 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/11/17 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/17 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/11/17 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/17 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/17 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/17 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/11/17 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/17 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/17 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/17 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/17 | 18:00 | 19:00 | Abhaltung | KU | fix/ | |
| 2025/11/21 | 10:00 | 12:00 | Seminarraum | Abhaltung | KU | fix/Fragestunde |
| 2025/11/24 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/24 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/11/24 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/11/24 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/24 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/24 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/24 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/11/24 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/24 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/11/24 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/11/24 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/11/24 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/11/24 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/24 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/11/28 | 10:00 | 12:00 | Seminarraum | Abhaltung | KU | fix/Fragestunde |
| 2025/12/01 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/01 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/12/01 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/12/01 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/01 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/12/01 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/12/01 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/12/01 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/01 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/12/01 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/12/01 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/12/01 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/12/01 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/05 | 10:00 | 12:00 | Seminarraum | Abhaltung | KU | fix/Fragestunde |
| 2025/12/15 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/15 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2025/12/15 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/12/15 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2025/12/15 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/15 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/12/15 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/12/15 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2025/12/15 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2025/12/15 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2025/12/15 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2025/12/15 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2025/12/15 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/12 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/12 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2026/01/12 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2026/01/12 | 15:00 | 16:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2026/01/12 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/12 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2026/01/12 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2026/01/12 | 16:00 | 17:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/12 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2026/01/12 | 16:00 | 17:00 | HS i14 | Abhaltung | KU | fix/ |
| 2026/01/12 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2026/01/12 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2026/01/12 | 18:00 | 19:00 | Abhaltung | KU | fix/ | |
| 2026/01/19 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/19 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2026/01/19 | 15:00 | 16:00 | HS i15 | Abhaltung | KU | fix/ |
| 2026/01/19 | 15:00 | 16:00 | HS i14 | Abhaltung | KU | fix/ |
| 2026/01/19 | 15:00 | 16:00 | Seminarraum IST | Abhaltung | KU | fix/ |
| 2026/01/19 | 15:00 | 16:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/19 | 15:00 | 16:00 | Abhaltung | KU | fix/ | |
| 2026/01/19 | 16:00 | 17:00 | Seminarraum CGV | Abhaltung | KU | fix/ |
| 2026/01/19 | 16:00 | 17:00 | Seminarraum IGI | Abhaltung | KU | fix/ |
| 2026/01/19 | 16:00 | 17:00 | HS i15 | Abhaltung | KU | fix/ |
| 2026/01/19 | 16:00 | 17:00 | Seminarraum IST | Abhaltung | KU | fix/ |
| 2026/01/19 | 16:00 | 17:00 | Abhaltung | KU | fix/ | |
| 2026/01/19 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/26 | 09:00 | 10:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/26 | 12:00 | 14:00 | HS i12 "DynaTrace Hörsaal" | Abhaltung | VO | fix/ |
| 2026/01/26 | 18:00 | 19:00 | Seminarraum | Abhaltung | KU | fix/ |
| 2026/01/28 | 16:00 | 19:00 | HS i9 | Abhaltung | VO | fix/ |
