Back to selection
10948-01 - Main lecture: Theory of Computer Science (6 CP)
| Semester | spring semester 2026 |
| Course frequency | Every spring sem. |
| Lecturers | Gabriele Röger (gabriele.roeger@unibas.ch, Assessor) |
| Content | The course gives an introduction to the theory of computer science. Topics are: automata theory and formal languages, computability and complexity theory |
| 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 | English textbook: M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012. German textbook: U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Verlag, 2008. |
| Weblink | course website |
| Course application | https://services.unibas.ch |
| Language of instruction | English |
| Use of digital media | Online, mandatory |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Monday | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| wöchentlich | Wednesday | 16.15-18.00 | Alte Universität, Hörsaal -101 |
Dates
| Date | Time | Room |
|---|---|---|
| Monday 16.02.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 18.02.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 23.02.2026 | 14.15-16.00 | Fasnachtsferien |
| Wednesday 25.02.2026 | 16.15-18.00 | Fasnachtsferien |
| Monday 02.03.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 04.03.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 09.03.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 11.03.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 16.03.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 18.03.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 23.03.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 25.03.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 30.03.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 01.04.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 06.04.2026 | 14.15-16.00 | Ostern |
| Wednesday 08.04.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 13.04.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 15.04.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 20.04.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 22.04.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 27.04.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 29.04.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 04.05.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 06.05.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 11.05.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 13.05.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 18.05.2026 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 20.05.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 25.05.2026 | 14.15-16.00 | Pfingstmontag |
| Wednesday 27.05.2026 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| 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 | exam |
| Assessment details | Written exam: tba Further information regarding exams of main lectures (Hauptvorlesungen): https://philnat.unibas.ch/de/examen |
| Assessment registration/deregistration | Reg.: in 'course reg.'; dereg.: Dean of Std. Off. in writing |
| Repeat examination | one repetition, best attempt counts |
| Scale | 1-6 0,5 |
| Repeated registration | no repetition |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |