Zurück zur Auswahl
62059-03 - Übung: Theory of Computer Science (2 KP)
| Semester | Frühjahrsemester 2026 |
| Weitere Semesterveranstaltungen zu diesen KP |
62059-01 (Übung) 62059-02 (Übung) 62059-03 (Übung) |
| Angebotsmuster | Jedes Frühjahrsem. |
| Dozierende | Gabriele Röger (gabriele.roeger@unibas.ch, BeurteilerIn) |
| Inhalt | The exercises on the Theory of Computer Science deepen the understanding obtained in the main course (10948). |
| Lernziele | The participants will develop a precise understanding of initially intuitive concepts such as computability and complexity. This will enable them to determine the fundamental hardness of computer science problems and to infer consequences for practical approaches. |
| Literatur | M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012. |
| Weblink | Course Website |
| Teilnahmevoraussetzungen | For solving the exercises participants must be familiar with the material from the main course Theory of Computer Science (10948). It is possible and recommended to take this course in parallel. |
| Anmeldung zur Lehrveranstaltung | https://services.unibas.ch |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot obligatorisch |
| Intervall | Wochentag | Zeit | Raum |
|---|---|---|---|
| wöchentlich | Dienstag | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
Einzeltermine
| Datum | Zeit | Raum |
|---|---|---|
| Dienstag 17.02.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 24.02.2026 | 12.15-14.00 Uhr | Fasnachtsferien |
| Dienstag 03.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 10.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 17.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 24.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 31.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 07.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 14.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 21.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 28.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 05.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 12.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 19.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Dienstag 26.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum U1.001 |
| Module |
Modul: Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Sciences II (Bachelorstudium: Computational Sciences (Studienbeginn vor 01.08.2023)) Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) |
| Prüfung | Lehrveranst.-begleitend |
| Hinweise zur Prüfung | Pass/fail based on weekly exercise assignments. To pass, one needs to achieve at least 50% of the exercise marks. |
| An-/Abmeldung zur Prüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | Pass / Fail |
| Belegen bei Nichtbestehen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |