inf400 - Theoretical Computer Science: Logic (Course overview)
Department of Computing Science |
6 KP |
|
Module components |
Semester courses Sommersemester 2023 |
Examination |
Lecture
|
|
|
Exercises
|
|
|
Hinweise zum Modul |
Prüfungszeiten |
At the end of the lecture period |
Module examination |
written exam or oral exam |
Skills to be acquired in this module |
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
|
|