Formal Foundations of Computer Science

CS 301 Formale Grundlagen der Informatik

Fall Semester 2021 | German

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.



  • Lecture recordings available in the ILIAS course:
  • The first lecture takes place on Monday, 13 September 2021, 12:00 noon via Zoom. You can find the login credentials in the Portal2.


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.




Exercise Sheets

Currently there are no files available.