250052 VO Introduction to Theoretical Computer Science (2021S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

Für diese LV an-/abmelden

Details

Sprache: Englisch

Prüfungstermine

Mittwoch 30.06.2021 Mittwoch 14.07.2021 Dienstag 27.07.2021 Freitag 01.10.2021 Freitag 03.12.2021 Montag 25.04.2022

Lehrende

Jana Marikova

Termine (iCal) - nächster Termin ist mit N markiert

    
    Montag
    01.03.
    11:15 - 12:45
    Digital
    
    Mittwoch
    03.03.
    08:45 - 10:15
    Digital
    
    Montag
    08.03.
    11:15 - 12:45
    Digital
    
    Mittwoch
    10.03.
    08:45 - 10:15
    Digital
    
    Montag
    15.03.
    11:15 - 12:45
    Digital
    
    Mittwoch
    17.03.
    08:45 - 10:15
    Digital
    
    Montag
    22.03.
    11:15 - 12:45
    Digital
    
    Mittwoch
    24.03.
    08:45 - 10:15
    Digital
    
    Montag
    12.04.
    11:15 - 12:45
    Digital
    
    Mittwoch
    14.04.
    08:45 - 10:15
    Digital
    
    Montag
    19.04.
    11:15 - 12:45
    Digital
    
    Mittwoch
    21.04.
    08:45 - 10:15
    Digital
    
    Montag
    26.04.
    11:15 - 12:45
    Digital
    
    Mittwoch
    28.04.
    08:45 - 10:15
    Digital
    
    Montag
    03.05.
    11:15 - 12:45
    Digital
    
    Mittwoch
    05.05.
    08:45 - 10:15
    Digital
    
    Montag
    10.05.
    11:15 - 12:45
    Digital
    
    Mittwoch
    12.05.
    08:45 - 10:15
    Digital
    
    Montag
    17.05.
    11:15 - 12:45
    Digital
    
    Mittwoch
    19.05.
    08:45 - 10:15
    Digital
    
    Mittwoch
    26.05.
    08:45 - 10:15
    Digital
    
    Montag
    31.05.
    11:15 - 12:45
    Digital
    
    Mittwoch
    02.06.
    08:45 - 10:15
    Digital
    
    Montag
    07.06.
    11:15 - 12:45
    Digital
    
    Mittwoch
    09.06.
    08:45 - 10:15
    Digital
    
    Montag
    14.06.
    11:15 - 12:45
    Digital
    
    Mittwoch
    16.06.
    08:45 - 10:15
    Digital
    
    Montag
    21.06.
    11:15 - 12:45
    Digital
    
    Mittwoch
    23.06.
    08:45 - 10:15
    Digital
    
    Montag
    28.06.
    11:15 - 12:45
    Digital
    
    Mittwoch
    30.06.
    08:45 - 10:15
    Digital

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

We will cover topics in recursion theory and computational complexity.

Art der Leistungskontrolle und erlaubte Hilfsmittel

The (oral) exam will take place on June 30. Please let me know a couple of days beforehand if you intend to take the exam then.
There will be another possibility sometime in July.

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

H. B. Enderton "Computability Theory: An Introduction to Recursion Theory"
S. Arora, B. Barak "Computational Complexity: A Modern Approach"

Zuordnung im Vorlesungsverzeichnis

MLOI

Core modules logic

Master Mathematics (821 [2] - Version 2016) ➡ Elective Modules (75 ECTS)

Letzte Änderung: Fr 12.05.2023 00:21