Zur Merkliste hinzufügen
Zurück

 

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

Semester Frühjahrsemester 2021
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 German textbooks:
U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Verlag, 2008.

English textbooks:
M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012.
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 01.03.2021 – 02.06.2021
Zeit Montag, 13.15-16.00 - Online Präsenz -
Mittwoch, 16.15-18.00 - Online Präsenz -
Datum Zeit Raum
Montag 01.03.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 03.03.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 08.03.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 10.03.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 15.03.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 17.03.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 22.03.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 24.03.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 29.03.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 31.03.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 05.04.2021 13.15-16.00 Uhr Ostern
Mittwoch 07.04.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 12.04.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 14.04.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 19.04.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 21.04.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 26.04.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 28.04.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 03.05.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 05.05.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 10.05.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 12.05.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 17.05.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 19.05.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 24.05.2021 13.15-16.00 Uhr Pfingstmontag
Mittwoch 26.05.2021 16.15-18.00 Uhr - Online Präsenz -, --
Montag 31.05.2021 13.15-16.00 Uhr - Online Präsenz -, --
Mittwoch 02.06.2021 16.15-18.00 Uhr - Online Präsenz -, --
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, 9 June 2021 (TBC).
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