[ 521THEOLOGU13 ] UE Logic

Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B1 - Bachelor's programme 1. year Computer Science Martina Seidl 1 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 lecture).
Methods Exercises which are presented by the lecturers. Practical exercises which have to be solved with logic tools.
Language English
Study material Slides plus videos.
Changing subject? No
Further information
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment