At the end of the lecture period

written exam or oral exam

Introduction to propositional logic, predicate logic, logic programming, and temporal logic

Professional competence
The students:

• Know syntax, semantics and applications of propositional logic, predicate logic, logic programming, and temporal logic
• Specify problems by using logical formulas
• Solve questions concerning propositional formulas with truth tables
• Draw conclusions in the field of propositional logic and predicate logic by means of natural deduction
• Answer queries to logic programs by using SLD resolution
• Perform model checking of Kripke structures with regard to CTL formulas algorithmically

Methodological competence
The students:

• Recognize logic as a versatile tool in computer science

Social competence
The students:

• Work together in small groups to solve problems
• Present solutions to problems to groups of other students

Self-competence
The students:

• Learn persistence in pursuing difficult tasks
• Learn precision in writing down solutions