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.
Contact
- Contact via email to fgdi@uni.ma.
Lecture
- Lecture recordings available in the ILIAS course: http://ilias.fgdi.uni.ma/
- The first lecture takes place on Monday, 13 September 2021, 12:00 noon via Zoom. You can find the login credentials in the Portal2.
Lecture Slides
- 02 aussagen.pdf ( PDF , 146 KB )
- 03 beweise.pdf ( PDF , 192 KB )
- 04 mengen-und-relationen.pdf ( PDF , 174 KB )
- 05 abbildungen.pdf ( PDF , 271 KB )
- 06 aequivalenzrelationen.pdf ( PDF , 192 KB )
- 07 halbordnungsrelationen 01.pdf ( PDF , 213 KB )
- 08 kombinatorik.pdf ( PDF , 172 KB )
- 09 graphen.pdf ( PDF , 221 KB )
- 10 algebraische-strukturen.pdf ( PDF , 299 KB )
- 11 endliche-automaten.pdf ( PDF , 501 KB )
Tutorials
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
- 13:45 – 15:15, B 6 - A 203, Sophie Stenner
Wednesday
- 08:30 – 10:00, B 6 – A 203, Adam Bednár
- 10:15 – 11:45, A 5 – B 243, Sophie Stenner
- 13:45 – 15:15, B 6 – A 203, Adam Bednár
- 13:45 – 15:15, B 6 – A 104, Julian Steigerwald
Friday
- 10:15 – 11:45, B 6 – A 203, Julian Steigerwald
Exercise Sheets
Currently there are no files available.