Zurück
| Semester | Frühjahrsemester 2023 |
| 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 |
| Teilnahmebedingungen | 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 | wöchentlich |
| Datum | 06.03.2023 – 29.05.2023 |
| Zeit |
Montag, 16.15-18.00 Kollegienhaus, Hörsaal 116 |
| Datum | Zeit | Raum |
|---|---|---|
| Montag 06.03.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 13.03.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 20.03.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 27.03.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 03.04.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 10.04.2023 | 16.15-18.00 Uhr | Ostern |
| Montag 17.04.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 24.04.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 01.05.2023 | 16.15-18.00 Uhr | Tag der Arbeit |
| Montag 08.05.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 15.05.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 22.05.2023 | 16.15-18.00 Uhr | Kollegienhaus, Hörsaal 116 |
| Montag 29.05.2023 | 16.15-18.00 Uhr | Pfingstmontag |
| Module |
Modul: Applications and Related Topics (Bachelor Studienfach Computer Science) Modul: Computational Sciences II (Bachelorstudium: Computational Sciences (Studienbeginn vor 01.08.2023)) Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) (Pflicht) |
| Leistungsüberprüfung | Lehrveranst.-begleitend |
| Hinweise zur Leistungsüberprüfung | Pass/fail based on weekly exercise assignments and a midterm exam. |
| An-/Abmeldung zur Leistungsüberprüfung | An-/Abmelden: Belegen resp. Stornieren der Belegung via MOnA |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | Pass / Fail |
| Wiederholtes Belegen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |