Back to selection
10948-01 - Main lecture: Theory of Computer Science (6 CP)
| Semester | spring semester 2022 |
| 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 | Kollegienhaus, Hörsaal 118 |
| wöchentlich | Wednesday | 16.15-18.00 | Alte Universität, Hörsaal -101 |
Dates
| Date | Time | Room |
|---|---|---|
| Monday 21.02.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 23.02.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 28.02.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 02.03.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 07.03.2022 | 14.15-16.00 | Fasnachtsferien |
| Wednesday 09.03.2022 | 16.15-18.00 | Fasnachtsferien |
| Monday 14.03.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 16.03.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 21.03.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 23.03.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 28.03.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 30.03.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 04.04.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 06.04.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 11.04.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 13.04.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 18.04.2022 | 14.15-16.00 | Ostern |
| Wednesday 20.04.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 25.04.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 27.04.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 02.05.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 04.05.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 09.05.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 11.05.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 16.05.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 18.05.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 23.05.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 25.05.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Monday 30.05.2022 | 14.15-16.00 | Kollegienhaus, Hörsaal 118 |
| Wednesday 01.06.2022 | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Modules |
Modul: Applications and Related Topics (Bachelor's degree subject: Computer Science) Module: Computational Sciences II (Bachelor's Studies: Computational Sciences) Module: Formal Concepts in Computer Science (Bachelor's Studies: Computer Science) (Pflicht) |
| Assessment format | exam |
| Assessment details | Written exam, 2 hours. The written exam is planned for Wednesday, 28 June 2022, 2-4 p.m, Pharmazentrum HS1. 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 |