Zur Merkliste hinzufügen
Zurück

 

10948-01 - Hauptvorlesung: Theory of Computer Science 6 KP

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 wöchentlich
Datum 21.02.2022 – 01.06.2022
Zeit Montag, 14.15-16.00 Kollegienhaus, Hörsaal 118
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, 15 June 2022, 2-4 p.m.
Further information regarding exams of main lectures (Hauptvorlesungen): https://philnat.unibas.ch/de/examen

An-/Abmeldung zur Leistungsüberprüfung Anmelden: via MOnA; Abmelden: Studiendekanat (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

Zurück