Zur Merkliste hinzufügen
Zurück

 

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

Semester Frühjahrsemester 2024
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 Alte Universität, Hörsaal -101
wöchentlich Mittwoch 16.15-18.00 Alte Universität, Hörsaal -101

Einzeltermine

Datum Zeit Raum
Mittwoch 28.02.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 04.03.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 06.03.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 11.03.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 13.03.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 18.03.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 20.03.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 25.03.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 27.03.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 01.04.2024 14.15-16.00 Uhr Ostern
Mittwoch 03.04.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 08.04.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 10.04.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 15.04.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 17.04.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 22.04.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 24.04.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 29.04.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 01.05.2024 16.15-18.00 Uhr Tag der Arbeit
Montag 06.05.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 08.05.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 13.05.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 15.05.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 20.05.2024 14.15-16.00 Uhr Pfingstmontag
Mittwoch 22.05.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Montag 27.05.2024 14.15-16.00 Uhr Alte Universität, Hörsaal -101
Mittwoch 29.05.2024 16.15-18.00 Uhr Alte Universität, Hörsaal -101
Module Modul: Applications and Related Topics (Bachelor Studienfach: Computer Science)
Modul: Computational Methods (Bachelorstudium: Computational Sciences)
Modul: Computational Methods (Bachelorstudium: Computational Sciences)
Modul: Computational Methods (Bachelorstudium: Computational Sciences)
Modul: Computational Methods (Bachelorstudium: Computational Sciences)
Modul: Computational Methods (Bachelorstudium: Computational Sciences)
Modul: Computational Sciences II (Bachelorstudium: Computational Sciences (Studienbeginn vor 01.08.2023))
Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science)
Leistungsüberprüfung Examen
Hinweise zur Leistungsüberprüfung Written exam.
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

Zurück