Zur Merkliste hinzufügen
Zurück

 

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

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 wöchentlich
Datum 20.02.2023 – 31.05.2023
Zeit Montag, 14.15-16.00 Biozentrum, Hörsaal U1.141
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 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