Back to selection
58825-01 - Lecture: Discrete Mathematics in Computer Science (6 CP)
| Semester | fall semester 2025 |
| Further events belonging to these CP |
58825-01 (Lecture) 58825-02 (Practical course) 58825-03 (Practical course) 58825-04 (Practical course) |
| Course frequency | Every fall sem. |
| Lecturers |
Malte Helmert (malte.helmert@unibas.ch, Assessor)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| Content | * mathematical thinking and proof techniques * sets and relations * group theory and permutations * modular arithmetic * graphs and trees * formal logic |
| Learning objectives | * abstract thinking * formalization of mathematical ideas and arguments * knowledge of common mathematical tools in computer science |
| Bibliography | There is no textbook for the course. The course slides will be made available to the participants on the course webpage during the semester. |
| Weblink | course homepage |
| Course application | Registration via https://services.unibas.ch. |
| Language of instruction | German |
| Use of digital media | Online, mandatory |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Monday | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| wöchentlich | Wednesday | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
Dates
| Date | Time | Room |
|---|---|---|
| Monday 15.09.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 17.09.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 22.09.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 24.09.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 29.09.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 01.10.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 06.10.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 08.10.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 13.10.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 15.10.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 20.10.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 22.10.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 27.10.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 29.10.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 03.11.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 05.11.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 10.11.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 12.11.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 17.11.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 19.11.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 24.11.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 26.11.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 01.12.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 03.12.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 08.12.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 10.12.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Monday 15.12.2025 | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| Wednesday 17.12.2025 | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Modules |
Electives Bachelor Mathematics: Recommendations (Bachelor's Studies: Mathematics) Module: Mathematical Foundations of Computer Science (Bachelor's Studies: Computer Science) Module: Mathematical Foundations of Computer Science (Bachelor's degree subject: Computer Science) |
| Assessment format | continuous assessment |
| Assessment details | The course includes weekly homework assignments and a final written exam. At least 50% of the marks obtainable throughout the semester are required to qualify for the exam. The final grade for the course is based exclusively on the final exam. expected date: Monday, January 20, 2025, 4-6 p.m., Biozentrum, M.E. Müller Saal U1.111 |
| Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
| Repeat examination | no repeat examination |
| Scale | 1-6 0,5 |
| Repeated registration | as often as necessary |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |