Fundamentals of Theoretical Computer Science and Formal Fundamentals of Computer Science
Current
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 .
Content
Boolean functions and circuits, binary relations, information and coding theory, grammars and automata.
Literature
Lecture script (distributed in the lecture)
Schöning/Kestler Math Toolbox, Lehmanns media
Lecture Information
For more information about the lecture, please see .
Tutorials
The course of the exercises will be presented in the first lecture. Registration for the tutorials will be possible via .
Teacher
Lecture Times
Monday 14:15 - 15:45 h Hall TTU
Thursday 14:25 - 15:45 h Hall 1
Information on Lecture
Examination Dates
17.02.2026 from 2 p.m. in Hall 3,20,21,22
31.03.2026 from 12 p.m. in Hall 1,20,21,22