250153 VO Introduction to theoretical computer science (2022W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

ON-SITE

Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).

Details

Language: English

Examination dates

Tuesday 31.01.2023

Lecturers

Jana Marikova

Classes (iCal) - next class is marked with N

    
    Monday
    03.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    05.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    10.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    12.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    17.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    19.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    24.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    31.10.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    07.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    09.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    14.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    16.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    21.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    23.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    28.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    30.11.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    05.12.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    07.12.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    12.12.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    14.12.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    09.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    11.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    16.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    18.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    23.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Wednesday
    25.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01
    
    Monday
    30.01.
    13:15 - 14:45
    Seminarraum 10, Kolingasse 14-16, OG01

Information

Aims, contents and method of the course

We will cover basic recursion theory, some complexity theory, and Kolmogorov complexity.

Assessment and permitted materials

I will assign a number of homework sets. Your written solutions to those will determine your grade.

Minimum requirements and assessment criteria

Examination topics

Reading list

For recursion theory and Kolmogorov complexity I will follow https://faculty.math.illinois.edu/~vddries/recursion.pdf (Chapters 1 and 3).

Association in the course directory

MLOI

Basic courses, specialization "Logic"

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

Last modified: Th 30.11.2023 10:28