Back to selection
10948-01 - Main lecture: Theory of Computer Science (6 CP)
| Semester | spring semester 2025 |
| 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 |
|---|---|---|
| Wednesday 19.02.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 24.02.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 26.02.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 03.03.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 05.03.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 10.03.2025 | 14.15-16.00 | Fasnachstferien |
| Wednesday 12.03.2025 | 16.15-18.00 | Fasnachstferien |
| Monday 17.03.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 19.03.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 24.03.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 26.03.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 31.03.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 02.04.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 07.04.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 09.04.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 14.04.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 16.04.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 21.04.2025 | 14.15-16.00 | Ostern |
| Wednesday 23.04.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 28.04.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 30.04.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 05.05.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 07.05.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 12.05.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 14.05.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 19.05.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 21.05.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 26.05.2025 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 28.05.2025 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Thursday 26.06.2025 | 14.00-16.00 | Biozentrum, Hörsaal U1.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. 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 |