inf400 - Theoretical Computer Science: Logic (Course overview)

inf400 - Theoretical Computer Science: Logic (Course overview)

Department of Computing Science 6 KP
Module components Semester courses Summer semester 2024 Examination
Lecture
Exercises
Hinweise zum Modul
Prerequisites

Useful prerequisites:

set theory, functions and relations

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