Inhalt
[ 521THEOLOGU13 ] UE Logic





Workload 
Education level 
Study areas 
Responsible person 
Hours per week 
Coordinating university 
1,5 ECTS 
B1  Bachelor's programme 1. year 
Mathematics 
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 
http://fmv.jku.at/logic




Onsite course 
Maximum number of participants 
35 
Assignment procedure 
Direct assignment 


