ºÚÁÏ´«ËÍÃÅ

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 .

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