Zurück
| Semester | Herbstsemester 2023 |
| 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 | Pharmazentrum, Hörsaal 1 |
| wöchentlich | Mittwoch | 16.15-17.00 | Pharmazentrum, Hörsaal 1 |
| Datum | Zeit | Raum |
|---|---|---|
| Mittwoch 20.09.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 25.09.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 27.09.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 02.10.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 04.10.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 09.10.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 11.10.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 16.10.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 18.10.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 23.10.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 25.10.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 30.10.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 01.11.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 06.11.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 08.11.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 13.11.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 15.11.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 20.11.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 22.11.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 27.11.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 29.11.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 04.12.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 06.12.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 11.12.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 13.12.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 18.12.2023 | 16.15-18.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Mittwoch 20.12.2023 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Module |
Modul: Angewandte Mathematik (Bachelorstudium: Mathematik) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science) |
| Leistungsüberprüfung | Lehrveranst.-begleitend |
| Hinweise zur Leistungsüberprü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 22, 2024, 4-6 p.m. |
| An-/Abmeldung zur Leistungsüberprüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Wiederholtes Belegen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |