Zurück
| Semester | Frühjahrsemester 2022 |
| 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 | Kollegienhaus, Hörsaal 118 |
| wöchentlich | Mittwoch | 16.15-18.00 | Alte Universität, Hörsaal -101 |
| Datum | Zeit | Raum |
|---|---|---|
| Montag 21.02.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 23.02.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 28.02.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 02.03.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 07.03.2022 | 14.15-16.00 Uhr | Fasnachtsferien |
| Mittwoch 09.03.2022 | 16.15-18.00 Uhr | Fasnachtsferien |
| Montag 14.03.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 16.03.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 21.03.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 23.03.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 28.03.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 30.03.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 04.04.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 06.04.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 11.04.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 13.04.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 18.04.2022 | 14.15-16.00 Uhr | Ostern |
| Mittwoch 20.04.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 25.04.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 27.04.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 02.05.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 04.05.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 09.05.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 11.05.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 16.05.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 18.05.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 23.05.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 25.05.2022 | 16.15-18.00 Uhr | Alte Universität, Hörsaal -101 |
| Montag 30.05.2022 | 14.15-16.00 Uhr | Kollegienhaus, Hörsaal 118 |
| Mittwoch 01.06.2022 | 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) 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, 28 June 2022, 2-4 p.m, Pharmazentrum HS1. 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 |