Zurück zur Auswahl
58825-01 - Vorlesung: Discrete Structures (8 KP)
| Semester | Herbstsemester 2026 |
| Weitere Semesterveranstaltungen zu diesen KP |
58825-01 (Vorlesung) 58825-02 (Übung) 58825-03 (Übung) 58825-04 (Übung) 58825-05 (Ü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 * recurrence relations * 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-18.00 | Biozentrum, Hörsaal U1.131 |
Einzeltermine
| Datum | Zeit | Raum |
|---|---|---|
| Mittwoch 16.09.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 21.09.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 23.09.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 28.09.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 30.09.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 05.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 07.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 12.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 14.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 19.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 21.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 26.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 28.10.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 02.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 04.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 09.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 11.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 16.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 18.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 23.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 25.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 30.11.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 02.12.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 07.12.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 09.12.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Montag 14.12.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 16.12.2026 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Module |
Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) Modul: Formal Foundations of Computer Science (Bachelor Studienfach: Computer Science) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science (Studienbeginn vor 01.08.2026)) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science (Studienbeginn vor 01.08.2026)) 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 18, 2027, 4-6 p.m. |
| 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 |