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 informations can be found in the ILIAS course.

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

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

The first lecture will be Monday, 02.09.2024 at 12:00 noon in B6, 23–26, 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 second week of the semester, i.e., on 9 September.

Important notice: The tutorial on Mondays at 15:30h is moved to Tuesday at 15:30h.

Monday

• 10:15h – 11:45h; B6 23-25, A104
• 13:45h -15:15h; B6 23-25, A301

Tuesday

• 10:15h – 11:45h;  B6, 23–25, A104
•  new: 15:30h -17:00h; B6 23-25, A104

Wednesday

• 08:30h – 10:00h;  B6, 23–25, A301
• 13:45h – 15:15h;  B6, 23–25, A104