Zurück zur Auswahl
58825-01 - Vorlesung: Discrete Mathematics in Computer Science (6 KP)
| Semester | Herbstsemester 2025 |
| Weitere Semesterveranstaltungen zu diesen KP |
58825-01 (Vorlesung) 58825-02 (Übung) 58825-03 (Übung) 58825-04 (Übung) |
| Angebotsmuster | Jedes Herbstsemester |
| Dozierende |
Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| Inhalt | * mathematical thinking and proof techniques * sets and relations * group theory and permutations * modular arithmetic * graphs and trees * formal logic |
| Lernziele | * abstract thinking * formalization of mathematical ideas and arguments * knowledge of common mathematical tools in computer science |
| Literatur | 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 |
| Anmeldung zur Lehrveranstaltung | Registration via https://services.unibas.ch. |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot obligatorisch |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|---|---|---|
| wöchentlich | Montag | 16.15-18.00 | Biozentrum, Hörsaal U1.131 |
| wöchentlich | Mittwoch | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
Einzeltermine
| Datum | Zeit | Raum |
|---|---|---|
| Mittwoch 17.09.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 22.09.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 24.09.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 29.09.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 01.10.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 06.10.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 08.10.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 13.10.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 15.10.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 20.10.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 22.10.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 27.10.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 29.10.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 03.11.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 05.11.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 10.11.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 12.11.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 17.11.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 19.11.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 24.11.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 26.11.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 01.12.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 03.12.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 08.12.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 10.12.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 15.12.2025 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 17.12.2025 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 19.01.2026 | 16.00-18.00 Uhr | Biozentrum, Maurice E. Müller Saal U1.111 |
| Module |
Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science) Wahlbereich Bachelor Mathematik: Empfehlungen (Bachelorstudium: Mathematik) |
| Prüfung | Lehrveranst.-begleitend |
| Hinweise zur Prüfung | 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 19, 2026, 4-6 p.m., Biozentrum, M.E. Müller Saal U1.111 |
| An-/Abmeldung zur Prüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |