## Mathematical Foundations of Computer Science

### About

**Module:**Mathematical Foundations to Computer Science (CH-233)**Semester:**Fall 2024**Prerequisites:**None**Instructor:**Jürgen Schönwälder**Office Hours:**Monday, 11:15-12:30 (Research I, Room 87)**TA (Group A):**Babayev, Gazanfar**TA (Group B):**Borovlev, Petr**TA (Group C):**Cprljakovic, Bogdan**TA (Group D):**Mitov, Rumen Valentinov**TA (Group E):**Nuredini, Kejsi**TA (Group F):**Paniukhin, Nikita**TA (Group G):**Valean, Andrei-Gheorghe**TA (Group H):**Valladares, Zaara**Lecture:**Tuesday, 11:15-12:30 (RLH-172)**Lecture:**Friday, 08:15-09:30 (RLH-172)**Tutorial:**Friday, 09:45-11:00 (RLH-172)**TA Tutorial:**Wednesday, 10:00-11:00 (West Hall, Seminar Room 2)**TA Tutorial:**Friday, 19:00-20:00 (Research II, Lecture Hall)**1st Module Exam:**Friday, 2024-12-20, 12:30-14:30, IRC Eastwing + Conference Hall**2nd Module Exam:**Wednesday, 2025-01-22, 12:30-14:30, TBD

### Content and Educational Aims

The module introduces students to the mathematical foundations of computer science. Students learn to reason logically and clearly. They acquire the skill to formalize arguments and to prove propositions mathematically using elementary logic. Students are also introduced to fundamental concepts of graph theory and elementary graph algorithms.