Back to selection
62059-03 - Practical course: Theory of Computer Science (2 CP)
| Semester | spring semester 2026 |
| Further events belonging to these CP |
62059-01 (Practical course) 62059-02 (Practical course) 62059-03 (Practical course) |
| Course frequency | Every spring sem. |
| Lecturers | Gabriele Röger (gabriele.roeger@unibas.ch, Assessor) |
| Content | The exercises on the Theory of Computer Science deepen the understanding obtained in the main course (10948). |
| Learning objectives | 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. |
| Bibliography | M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012. |
| Weblink | Course Website |
| Admission requirements | 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. |
| Course application | https://services.unibas.ch |
| Language of instruction | English |
| Use of digital media | Online, mandatory |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Tuesday | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
Dates
| Date | Time | Room |
|---|---|---|
| Tuesday 17.02.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 24.02.2026 | 12.15-14.00 | Fasnachtsferien |
| Tuesday 03.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 10.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 17.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 24.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 31.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 07.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 14.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 21.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 28.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 05.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 12.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 19.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Tuesday 26.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum U1.001 |
| Modules |
Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Module: Applications and Related Topics (Bachelor's degree subject: Computer Science) Module: Computational Sciences II (Bachelor's Studies: Computational Sciences (Start of studies before 01.08.2023)) Module: Formal Concepts in Computer Science (Bachelor's Studies: Computer Science) |
| Assessment format | continuous assessment |
| Assessment details | Pass/fail based on weekly exercise assignments. To pass, one needs to achieve at least 50% of the exercise marks. |
| Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
| Repeat examination | no repeat examination |
| Scale | Pass / Fail |
| Repeated registration | as often as necessary |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |