[ 521THEOLOGV13 ] VL Logic

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B1 - Bachelor's programme 1. year Computer Science Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2021W
Objectives The students know how to use logic as a working language and they have the ability to compute with logic.
Subject Propositional logic, predicate logic, satisfiability, SAT, SMT, DPLL, resolution, proof calculus, skolemization, normal forms, decidability.
Criteria for evaluation Weekly minitests or one exam over the full content of the course (both are together with the exercise).
Methods Slide-based presentation plus practical examples and tool demos .
Language English
Study material Slides and lecture videos. For parts of this course lecture notes are available.
Changing subject? No
Further information
On-site course
Maximum number of participants -
Assignment procedure Direct assignment