703026 VO Logic

summer semester 2026 | Last update: 21.05.2026 Place course on memo list
Department of Computer Science Department of Computer Science
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
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

course will be recorded and broadcast live
https://lms.uibk.ac.at/url/RepositoryEntry/6008537140
http://cl-informatik.uibk.ac.at/teaching/ss26/lics/
see dates
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2026-03-02
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Tue 2026-03-03
 15.30 - 16.00 HS G (Technik) HS G (Technik) Barrier-free TUTORIUM
Mon 2026-03-09
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-03-11
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-03-16
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-03-18
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-03-23
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-03-25
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-04-13
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-04-15
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-04-20
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-04-22
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-04-27
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-04-29
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-05-04
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-05-06
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-05-11
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-05-13
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-05-18
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-05-20
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Wed 2026-05-27
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-06-01
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-06-03
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-06-08
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-06-10
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-06-15
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-06-17
 10.15 - 11.00 rr 26 rr 26 TUTORIUM
Mon 2026-06-22
 08.30 - 11.00 HSB 1 HSB 1 Barrier-free
Wed 2026-06-24
 10.15 - 11.45 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrier-free TUTORIUM
Mon 2026-06-29
 08.00 - 11.30 HSB 1 HSB 1 Barrier-free 1st exam
Mon 2026-06-29
 08.00 - 11.30 HSB 3 HSB 3 Barrier-free 1st exam
Tue 2026-09-15
 08.00 - 12.00 HSB 3 HSB 3 Barrier-free 2nd exam
Thu 2027-02-04
 08.00 - 12.00 HSB 3 HSB 3 Barrier-free 3rd exam
Group Booking period Date of exam
2026-02-01 08:00 - 2026-06-27 23:59
Book course
Middeldorp A.
2026-05-25 00:00 - 2026-06-15 23:59
2026-06-29
8:30 - 11:00
HSB 1 & HSB 3
 Register exam
Note:
1st exam
Informationen zu Kommissionellen Wiederholungsprüfungen (4./5. Antritt): Wiederholung von Prüfungen 		Middeldorp A.
2026-08-11 00:00 - 2026-09-01 23:59
2026-09-15
8:30 - 11:00
HSB 3
Note:
2nd exam
Informationen zu Kommissionellen Wiederholungsprüfungen (4./5. Antritt): Wiederholung von Prüfungen 		Middeldorp A.
2026-12-31 00:00 - 2027-01-21 23:59
2027-02-04
08:30 - 11:00
HSB 3
Note:
3rd exam
Informationen zu Kommissionellen Wiederholungsprüfungen (4./5. Antritt): Wiederholung von Prüfungen 		Middeldorp A.