inf400 - Theoretical Computer Science: Logic (Course overview)

inf400 - Theoretical Computer Science: Logic (Course overview)

Department of Computing Science 6 KP
Module components Semester courses Examination
Lecture
Exercises
  • No access 2.01.400-a - Show lecturers
    • Lara Bargmann
    • Jan Frederik Haltermann, M. Sc.

    Monday: 14:15 - 15:00, weekly (from 17/04/23)

  • No access 2.01.400-b - Show lecturers
    • Lara Bargmann
    • Jan Frederik Haltermann, M. Sc.

    Monday: 15:00 - 15:45, weekly (from 17/04/23)

  • No access 2.01.400-c - Show lecturers
    • Lara Bargmann
    • Jan Frederik Haltermann, M. Sc.

    Thursday: 16:15 - 17:00, weekly (from 13/04/23)

  • No access 2.01.400-d - Show lecturers
    • Lara Bargmann
    • Jan Frederik Haltermann, M. Sc.

    Thursday: 17:00 - 17:45, weekly (from 13/04/23)

Hinweise zum Modul
Prerequisites
No participant requirements
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