Back
| Semester | spring semester 2021 |
| 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 | German textbooks: U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Verlag, 2008. English textbooks: M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012. |
| 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 | 13.15-16.00 | - Online Präsenz - |
| wöchentlich | Wednesday | 16.15-18.00 | - Online Präsenz - |
| Date | Time | Room |
|---|---|---|
| Monday 01.03.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 03.03.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 08.03.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 10.03.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 15.03.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 17.03.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 22.03.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 24.03.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 29.03.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 31.03.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 05.04.2021 | 13.15-16.00 | Ostern |
| Wednesday 07.04.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 12.04.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 14.04.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 19.04.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 21.04.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 26.04.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 28.04.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 03.05.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 05.05.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 10.05.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 12.05.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 17.05.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 19.05.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 24.05.2021 | 13.15-16.00 | Pfingstmontag |
| Wednesday 26.05.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| Monday 31.05.2021 | 13.15-16.00 | - Online Präsenz -, -- |
| Wednesday 02.06.2021 | 16.15-18.00 | - Online Präsenz -, -- |
| 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 | main lecture exam |
| Assessment details | Written exam, 2 hours. The written exam is planned for Wednesday, 9 June 2021, 2-4 p.m. Two Rooms: Pharmazentrum Hörsaal 1 and Organische Chemie, Grosser Hörsaal. 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 |