Zurück zur Auswahl
10948-01 - Hauptvorlesung: Theory of Computer Science (6 KP)
| Semester | Frühjahrsemester 2026 |
| 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 | 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 |
| 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 | 14.15-16.00 | Alte Universität, Hörsaal -101 |
| wöchentlich | Mittwoch | 16.15-18.00 | Alte Universität, Hörsaal -101 |
Einzeltermine
| Datum | Zeit | Raum |
|---|---|---|
| Montag 16.02.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 18.02.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 23.02.2026 | 14.15-16.00 Uhr | Fasnachtsferien |
| Mittwoch 25.02.2026 | 16.15-18.00 Uhr | Fasnachtsferien |
| Montag 02.03.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 04.03.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 09.03.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 11.03.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 16.03.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 18.03.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 23.03.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 25.03.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 30.03.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 01.04.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 06.04.2026 | 14.15-16.00 Uhr | Ostern |
| Mittwoch 08.04.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 13.04.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 15.04.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 20.04.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 22.04.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 27.04.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 29.04.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 04.05.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 06.05.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 11.05.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 13.05.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 18.05.2026 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 20.05.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 25.05.2026 | 14.15-16.00 Uhr | Pfingstmontag |
| Mittwoch 27.05.2026 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Module |
Modul: Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Methods (Bachelorstudium: Computational Sciences) Modul: Computational Sciences II (Bachelorstudium: Computational Sciences (Studienbeginn vor 01.08.2023)) Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) |
| Prüfung | Examen |
| Hinweise zur Prüfung | Written exam: tba Further information regarding exams of main lectures (Hauptvorlesungen): https://philnat.unibas.ch/de/examen |
| An-/Abmeldung zur Prüfung | Anm.: in 'Belegungen'; Abm.: bei Studiendek. schriftlich |
| Wiederholungsprüfung | eine Wiederholung, bester Versuch zählt |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | nicht wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |