Zurück zur Auswahl
| Semester | Herbstsemester 2026 |
| Weitere Semesterveranstaltungen zu diesen KP |
58825-01 (Vorlesung) 58825-02 (Übung) 58825-03 (Übung) 58825-04 (Übung) 58825-05 (Übung) |
| Angebotsmuster | Jedes Herbstsemester |
| Dozierende |
Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| Inhalt | See lecture description. |
| Lernziele | See lecture description. |
| Literatur | See lecture description. |
| Weblink | https://dmi.unibas.ch/en/studies/compute |
| Anmeldung zur Lehrveranstaltung | See lecture description. |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot obligatorisch |
| Intervall | Wochentag | Zeit | Raum |
|---|---|---|---|
| wöchentlich | Freitag | 10.15-12.00 | Kollegienhaus, Seminarraum 107 |
| Datum | Zeit | Raum |
|---|---|---|
| Freitag 25.09.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 02.10.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 09.10.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 16.10.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 23.10.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 30.10.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 06.11.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 13.11.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 20.11.2026 | 10.15-12.00 Uhr | Alte Universität, Besprechung 003 |
| Freitag 27.11.2026 | 10.15-12.00 Uhr | Dies Academicus |
| Freitag 04.12.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Freitag 11.12.2026 | 10.15-12.00 Uhr | Kollegienhaus, Seminarraum 107 |
| Module |
Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) Modul: Formal Foundations of Computer Science (Bachelor Studienfach: Computer Science) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science (Studienbeginn vor 01.08.2026)) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science (Studienbeginn vor 01.08.2026)) Wahlbereich Bachelor Mathematik: Empfehlungen (Bachelorstudium: Mathematik) |
| Prüfung | Lehrveranst.-begleitend |
| Hinweise zur Prüfung | See lecture description. |
| 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 |