Zurück
| Semester | Herbstsemester 2021 |
| Angebotsmuster | unregelmässig |
| 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-Veranstaltung |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|---|---|---|
| wöchentlich | Mittwoch | 16.15-18.00 | - Online Präsenz - |
| Datum | Zeit | Raum |
|---|---|---|
| Mittwoch 22.09.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 29.09.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 06.10.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 13.10.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 20.10.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 27.10.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 03.11.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 10.11.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 17.11.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 24.11.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 01.12.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 08.12.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 15.12.2021 | 16.15-18.00 Uhr | --, -- |
| Mittwoch 22.12.2021 | 16.15-18.00 Uhr | --, -- |
| Module |
Modul: Angewandte Mathematik (Bachelorstudium: Mathematik) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) |
| Leistungsüberprüfung | Lehrveranst.-begleitend |
| Hinweise zur Leistungsüberprüfung | The course includes weekly homework assignments and a final written exam. The homework assignments are marked with a pass/fail grade, where 60% of the marks are required to obtain a "pass" for a weekly assignment. To qualify for the exam, participants must pass the weekly assignments; up to two failed assignments are allowed. The final grade for the course is based exclusively on the final exam. Exam details: Monday, 24 January 2022, 4-6 p.m., location: Organische Chemie, Grosser Hörsaal OC |
| 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 |