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 zalonisuni-mannheim.de

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

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

After this, starting on Monday 14.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

Exercise sheets will be published weekly and discussed in the tutorials. The students are encouraged to participate in the tutorials to deepen their understanding in the lecture's topics.

The tutorials will start in the third week of the semester, i.e., on 21. September.

The tutorials are expected to take place on the following dates. Please note that the schedule is subject to change, and the dates may be adjusted if necessary.

Monday

• 10:15h – 11:45h; B6 23-25, A301 (Luca Petri)
• 13:45h -15:15h; B6 23-25, A301 (Elisabeth Klein)
• 17:15h – 18:45h; B6 23-25, A301 (Elisabeth Klein)

Tuesday

• 15:30h -17:00h;   B6 23-25, A301 (Luca Petri)

Wednesday

• 08:30h – 10:00h;  B6, 23–25, A301 (Gabriel Schmiedecke)
• 13:45h – 15:15h;  B6 23-25, A301  (Gabriel Schmiedecke)