Warning! The directory is not yet complete and will be amended until the beginning of the term.

050026 VO Theoretical Computer Science (2012S)

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

Moodle

Details

Language: German

Examination dates

Monday 25.06.2012 Friday 19.10.2012 11:15 - 12:15 Hörsaal 1, Währinger Straße 29 1.UG Friday 23.11.2012 11:15 - 12:15 Hörsaal 1, Währinger Straße 29 1.UG Friday 11.01.2013 11:15 - 12:15 Hörsaal 1, Währinger Straße 29 1.UG

Lecturers

Classes (iCal) - next class is marked with N

    
    Friday
    02.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Friday
    09.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Friday
    16.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Friday
    23.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Friday
    30.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Friday
    20.04.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    27.04.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    04.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    11.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    18.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    25.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    01.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    08.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    15.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    22.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Friday
    29.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