Back
| Semester | spring semester 2024 |
| 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 |
| Date | Time | Room |
|---|---|---|
| Wednesday 28.02.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 04.03.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 06.03.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 11.03.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 13.03.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 18.03.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 20.03.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 25.03.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 27.03.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 01.04.2024 | 14.15-16.00 | Ostern |
| Wednesday 03.04.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 08.04.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 10.04.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 15.04.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 17.04.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 22.04.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 24.04.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 29.04.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 01.05.2024 | 16.15-18.00 | Tag der Arbeit |
| Monday 06.05.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 08.05.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 13.05.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 15.05.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 20.05.2024 | 14.15-16.00 | Pfingstmontag |
| Wednesday 22.05.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 27.05.2024 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| Wednesday 29.05.2024 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Thursday 27.06.2024 | 14.00-16.00 | Biozentrum, Hörsaal U1.101 |
| Modules |
Modul: Applications and Related Topics (Bachelor's degree subject: Computer Science) 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: 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 | main lecture 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 |