Formal Foundations of Computer Science

The lecture provides the elementary formal skills in computer science. Basic topics like formal proofs, set theory, graph theory, algebraic structures and finite state machines are discussed in this course. This knowledge will provide a foundation for the later courses.

All information can be found in the ILIAS course.

• Contact via email to zalonismail-uni-mannheim.de

The first lecture will be Monday, 01.09.2025 at 12:00 in B6, 23–26, A 001.

The second lecture will be Thursday, 11.09.2024 at 13:45 in B6, 23–26, A 001. 

After this, starting on Monday 15.09.2025, the lecture will take place weekly at

• Monday 12:00 – 13:30, B6, 23–25, A 001
• Thursday 13:45 – 15:15, B6, 23–25, A 001