Foundations of Theoretical Computer Science and Formal Foundations of Computer Science

The first lecture will take place on Monday, October 13, 2025, from 2:15 PM to 3:45 PM, in lecture hall 1 (instead of lecture hall TTU as planned).

The tutorial schedule is set in Moodle.

Boolean functions and circuits, binary relations, information and coding theory, grammars and automata.

Lecture script (distributed in the lecture)

Schöning/Kestler Math Toolbox, Lehmanns media

For more information about the lecture, please see Moodle.

The course of the exercises will be presented in the first lecture. Registration for the tutorials will be possible via Moodle.