Zurück
| Semester | Herbstsemester 2022 |
| 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 | Mittwoch | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Datum | Zeit | Raum |
|---|---|---|
| Mittwoch 21.09.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 28.09.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 05.10.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 12.10.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 19.10.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 26.10.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 02.11.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 09.11.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 16.11.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 23.11.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 30.11.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 07.12.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 14.12.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 21.12.2022 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Module |
Modul: Angewandte Mathematik (Bachelorstudium: Mathematik) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) (Pflicht) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science) (Pflicht) |
| 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. Exam date, time and location: Monday, January 23, 4-6 p.m., HS U1.131, Biozentrum |
| 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 |