Department of Computer Science

PD Dr Henning Bordihn

Foundations of Computer Science (FM 2), Winter Term 2022/23

Lecturer:   PD Dr. Henning Bordihn
Program: Master of Cognitive Systems
SWS: 4 (2 h/week classroom presence)
Credits: 6
Module: FM 2


Form: Consultation   Time: Thursday,   16:15-17:45,   First Meeting: 20.10.22


Please choose exactly one of the options in this poll (date and time) for your individual exam.


This is a reading course. Video lectures provided in the internet can be used in addition. Details are given in the slides of the Introduction.

The course covers two fundamental topics:

1. Fundamentals of Computing
2. Theory of Computation

Slides and Assignments


Assignment 1a: Algorithms and their complexity I

Assignment 1b: Algorithms and their complexity II

Assignment 2: Finite state automata

Assignment 3: Regular expressions

Assignment 4: Context-free grammars

Assignment 5: Pushdown automata and context-free languages

Assignment 6: Turing machines and decidability

Assignment 7: P and NP


Oral examination (20-25 minutes), individual.

February 24 and March 24