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.
The last lecture will take place on November 14th. For the rest of the semester there will be no more lectures.
The lecture will take place weekly at
The first lecture will be Monday, 05.09.2022 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. If you have any questions, please contact the tutors under konrad(at)uni.ma, sarah(at)uni.ma or patrick(at)uni.ma.
The turorials are expected to be on