703026 VO Logic
summer semester 2025 | Last update: 21.10.2025 | Place course on memo listUniv.-Prof. Dr. Aart Middeldorp
Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Johannes Niederhauser, MSc Johannes Niederhauser, MSc, +43 512 507 53044
Johannes Niederhauser, MSc Johannes Niederhauser, MSc, +43 512 507 53044
703026
VO Logic
VO 3
4,5
weekly
annually
English
Students who have completed this module understand logical calculi and can apply them. They are able to model complex problems abstractly in formal models and acquired the ability to obtain similar knowledge independently.
Propositional logic; predicate logic; introduction to proof systems; natural deduction for propositional and predicate logic; binary decision diagrams; introduction to verification and model checking.
Lecture, assessment is based on a single examination at the end of the course.
written exam
Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2007
ISBN 0-521-54310-X (paperback)
familiarity with formal notation and methods as taught in Introduction to Theoretical Computer Science and Discrete Structures
see dates
- Faculty of Mathematics, Computer Science and Physics
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2025-03-03
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-03-05
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-03-10
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-03-12
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-03-17
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-03-19
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-03-24
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-03-26
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-03-31
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-04-02
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-04-07
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-04-09
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-04-28
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-04-30
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-05-05
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-05-07
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-05-12
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-05-14
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-05-19
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-05-21
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-05-26
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-05-28
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-06-02
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-06-04
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Wed 2025-06-11
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-06-16
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Wed 2025-06-18
|
11.00 - 11.45 | SR 12 SR 12 | Barrier-free | TUTORIUM |
|
Mon 2025-06-23
|
08.00 - 11.45 | HSB 3 HSB 3 | Barrier-free | 1st exam |
|
Mon 2025-06-23
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrier-free | |
|
Thu 2025-09-25
|
08.00 - 11.45 | HSB 3 HSB 3 | Barrier-free | 2nd exam |
|
Thu 2026-02-05
|
08.00 - 12.00 | HS F (Technik) HS F (Technik) | Barrier-free | 3rd exam |