Zurück
| Semester | Frühjahrsemester 2023 |
| 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 | Biozentrum, Hörsaal U1.141 |
| wöchentlich | Mittwoch | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Datum | Zeit | Raum |
|---|---|---|
| Montag 20.02.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 22.02.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 27.02.2023 | 14.15-16.00 Uhr | Fasnachstferien |
| Mittwoch 01.03.2023 | 16.15-18.00 Uhr | Fasnachstferien |
| Montag 06.03.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 08.03.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 13.03.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 15.03.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 20.03.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 22.03.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 27.03.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 29.03.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 03.04.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 05.04.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 10.04.2023 | 14.15-16.00 Uhr | Ostern |
| Mittwoch 12.04.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 17.04.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 19.04.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 24.04.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 26.04.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 01.05.2023 | 14.15-16.00 Uhr | Tag der Arbeit |
| Mittwoch 03.05.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 08.05.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 10.05.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 15.05.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 17.05.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 22.05.2023 | 14.15-16.00 Uhr | Biozentrum, Hörsaal U1.141 |
| Mittwoch 24.05.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Mittwoch 31.05.2023 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Module |
Modul: Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul: Computational Sciences II (Bachelorstudium: Computational Sciences (Studienbeginn vor 01.08.2023)) Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) (Pflicht) |
| Leistungsüberprüfung | Examen |
| Hinweise zur Leistungsüberprüfung | Written exam, 110 minutes. The written exam is planned for Thursday, 29 June 2023, 2-4 p.m., Biozentrum, Maurice E. Müller Saal U1.111. 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 |