Zurück
| Semester | Frühjahrsemester 2021 |
| Angebotsmuster | Jedes Frühjahrsem. |
| Dozierende | Gabriele Röger (gabriele.roeger@unibas.ch, BeurteilerIn) |
| Inhalt | The course gives an introduction to the theory of computer science. Topics are: automata theory and formal languages, computability and complexity theory |
| Lernziele | 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. |
| Literatur | 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 |
| Anmeldung zur Lehrveranstaltung | https://services.unibas.ch |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot obligatorisch |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|---|---|---|
| wöchentlich | Montag | 13.15-16.00 | - Online Präsenz - |
| wöchentlich | Mittwoch | 16.15-18.00 | - Online Präsenz - |
| Datum | Zeit | Raum |
|---|---|---|
| Montag 01.03.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 03.03.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 08.03.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 10.03.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 15.03.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 17.03.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 22.03.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 24.03.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 29.03.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 31.03.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 05.04.2021 | 13.15-16.00 Uhr | Ostern |
| Mittwoch 07.04.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 12.04.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 14.04.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 19.04.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 21.04.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 26.04.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 28.04.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 03.05.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 05.05.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 10.05.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 12.05.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 17.05.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 19.05.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 24.05.2021 | 13.15-16.00 Uhr | Pfingstmontag |
| Mittwoch 26.05.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Montag 31.05.2021 | 13.15-16.00 Uhr | - Online Präsenz -, -- |
| Mittwoch 02.06.2021 | 16.15-18.00 Uhr | - Online Präsenz -, -- |
| Module |
Modul: Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul: Computational Sciences II (Bachelorstudium: Computational Sciences) Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) (Pflicht) |
| Leistungsüberprüfung | Examen |
| Hinweise zur Leistungsüberprüfung | 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 |
| An-/Abmeldung zur Leistungsüberprüfung | Anm.: in 'Belegungen'; Abm.: bei Studiendek. schriftlich |
| Wiederholungsprüfung | eine Wiederholung, bester Versuch zählt |
| Skala | 1-6 0,5 |
| Wiederholtes Belegen | nicht wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |