Stud.IP Uni Oldenburg
University of Oldenburg
27.06.2022 00:43:14
inf400 - Theoretical Computer Science: Logic (Course overview)
Inf400 - Theoretical Computer Science: Logic (Course overview)
Department of Computing Science 6 KP
Module components Semester courses Sommersemester 2019 Examination
Lecture
Exercises
Notes for the module
Time of examination
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