050026 VO Theoretical Computer Science (2011S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik

Details

Language: German

Examination dates

Friday 24.06.2011 Friday 14.10.2011 Friday 18.11.2011 Friday 13.01.2012

Lecturers

Classes (iCal) - next class is marked with N

    
    Friday
    04.03.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    11.03.
    10:00 - 11:30
    Hörsaal C1 UniCampus Hof 2 2G-O1-03
    
    Friday
    18.03.
    10:00 - 11:30
    Hörsaal C1 UniCampus Hof 2 2G-O1-03
    
    Friday
    25.03.
    10:00 - 11:30
    Hörsaal C1 UniCampus Hof 2 2G-O1-03
    
    Friday
    01.04.
    10:00 - 11:30
    Hörsaal C1 UniCampus Hof 2 2G-O1-03
    
    Friday
    08.04.
    10:00 - 11:30
    Hörsaal C1 UniCampus Hof 2 2G-O1-03
    
    Friday
    15.04.
    10:00 - 11:30
    Hörsaal C1 UniCampus Hof 2 2G-O1-03
    
    Friday
    06.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    13.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    20.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    27.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    10.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    17.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    24.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)

Information

Aims, contents and method of the course

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation.

Assessment and permitted materials

VO-Prüfung

Minimum requirements and assessment criteria

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.

Examination topics

Reading list

Association in the course directory

Last modified: Fr 15.10.2021 00:15