Zurück zur Auswahl
10948-01 - Hauptvorlesung: Theory of Computer Science (6 KP)
| Semester | Frühjahrsemester 2025 |
| 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 |
|---|---|---|
| Mittwoch 19.02.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 24.02.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 26.02.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 03.03.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 05.03.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 10.03.2025 | 14.15-16.00 Uhr | Fasnachstferien |
| Mittwoch 12.03.2025 | 16.15-18.00 Uhr | Fasnachstferien |
| Montag 17.03.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 19.03.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 24.03.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 26.03.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 31.03.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 02.04.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 07.04.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 09.04.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 14.04.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 16.04.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 21.04.2025 | 14.15-16.00 Uhr | Ostern |
| Mittwoch 23.04.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 28.04.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 30.04.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 05.05.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 07.05.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 12.05.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 14.05.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 19.05.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 21.05.2025 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 26.05.2025 | 14.15-16.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 28.05.2025 | 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. 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 |