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.

• Contact via email to fgdi(at)uni.ma.

• Lecture recordings available in the ILIAS course: http://ilias.fgdi.uni.ma/
• The first lecture takes place on Monday, 28 September 2020, 12:00 noon via Zoom. You can find the login credentials in the Portal2.

1. Übungs­blatt (28.09.2020): Kapitel 2 (Aussagen)
2. Übungs­blatt (05.10.2020): Kapitel 3 (Beweise), Kapitel 4 (Mengen und Relationen)
3. Übungs­blatt (12.10.2020): Kapitel 5 (Abbildungen und Mächtigkeit von Mengen)
4. Übungs­blatt (19.10.2020): Kapitel 6 (Äquivalenzrelationen)
5. Übungs­blatt (26.10.2020): Kapitel 7 (Halbordnungs­relationen)
6. Übungs­blatt (02.11.2020): Kapitel 8 (Kombinatorik)
7. Übungs­blatt (09.11.2020): Kapitel 9 (Graphen)
8. Übungs­blatt (16.11.2020): Kapitel 10
   (Algebraische Strukturen, bis einschließlich „Die Gruppe (Z_m, ·)*")
9. Übungs­blatt (23.11.2020): Kapitel 10
   (Algebraische Strukturen, bis einschließlich „Satz von Lagrange“ + Folgerungen)
10. Übungs­blatt (30.11.2020): Kapitel 10 (Algebraische Strukturen, bis Ende)
11. Übungs­blatt (07.12.2020): Kapitel 11 (Endliche Automaten und Reguläre Ausdrücke, bis einschließlich „Konstruktions­methoden für endliche Automaten“)
12. Übungs­blatt (14.12.2020): Kapitel 11 (Endliche Automaten und Reguläre Ausdrücke, bis Ende)

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.

Monday

• 10:15 - 11:45, Julian Steigerwald
• 13:45 - 15:15, Rebecca Armbruster
• 13:45 - 15:15, Bhavika Sharma
• 15:30 - 17:00, Bhavika Sharma

Wednesday

• 08:30 - 10:00, Rebecca Armbruster
• 13:45 - 15:15, Julian Steigerwald

Thursday

• 10:15 - 11:45, Adam Bednár

Friday

• 10:15 - 11:45, Adam Bednár