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 (ICC Eastwing + Conference Hall)
- Exam Review: Thursday, 2025-01-16, 13:00-14:00 (Research I, R1-120)
- Exam Review: Monday, 2025-01-20, 15:00-16:00 (Research I, R1-120)
- 2nd Module Exam: Wednesday, 2025-01-22, 12:30-14:30 (ICC-East Wing)
- Exam Review: Friday, 2025-02-21, 13:00-14:00 (East Hall, Seminar Room 3)
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.