Zurück zur Auswahl
58825-01 - Vorlesung: Discrete Mathematics in Computer Science (6 KP)
| Semester | Herbstsemester 2022 |
| Weitere Semesterveranstaltungen zu diesen KP |
58825-01 (Vorlesung) 58825-02 (Übung) 58825-03 (Übung) 58825-04 (Ü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 | Mittwoch | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Einzeltermine
| 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 (Bachelor Studienfach: Computer Science) (Pflicht) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) (Pflicht) |
| 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. Exam date, time and location: Monday, January 23, 4-6 p.m., HS U1.131, Biozentrum |
| 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 |