Zurück
| Semester | Herbstsemester 2024 |
| 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 |
| Datum | Zeit | Raum |
|---|---|---|
| Montag 16.09.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 18.09.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 23.09.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 25.09.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 30.09.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 02.10.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 07.10.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 09.10.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 14.10.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 16.10.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 21.10.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 23.10.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 28.10.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 30.10.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 04.11.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 06.11.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 11.11.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 13.11.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 18.11.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 20.11.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 25.11.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 27.11.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 02.12.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 04.12.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 09.12.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 11.12.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| Montag 16.12.2024 | 16.15-18.00 Uhr | Biozentrum, Hörsaal U1.131 |
| Mittwoch 18.12.2024 | 16.15-17.00 Uhr | Pharmazentrum, Hörsaal 1 |
| 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) |
| 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 |