050026 VO Theoretical Computer Science (2016S)

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

Moodle

Details

Language: German

Examination dates

Thursday 23.06.2016 16:45 - 18:15 Auditorium Maximum Tiefparterre Hauptgebäude Stiege 10 Friday 21.10.2016 09:45 - 11:15 Hörsaal I NIG Erdgeschoß Thursday 24.11.2016 16:45 - 18:15 Hörsaal 1, Währinger Straße 29 1.UG Thursday 19.01.2017 16:45 - 18:15 Hörsaal 1, Währinger Straße 29 1.UG

Lecturers

Classes (iCal) - next class is marked with N

    
    Thursday
    03.03.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    10.03.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    17.03.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    07.04.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    14.04.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    21.04.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    28.04.
    08:00 - 09:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    28.04.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    28.04.
    11:30 - 13:00
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    12.05.
    08:00 - 09:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    12.05.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    19.05.
    08:00 - 09:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    19.05.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    02.06.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    09.06.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    09.06.
    16:45 - 18:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    16.06.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    23.06.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Thursday
    30.06.
    09:45 - 11:15
    Hörsaal 1, Währinger Straße 29 1.UG

Information

Aims, contents and method of the course

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.
Inhalte: 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; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Schriftliche VO-Prüfung (ohne Hilfsmittel)

Minimum requirements and assessment criteria

Um die LVA positiv zu absolvieren müssen mindestens 50% der Punkte bei der VO-Prüfung erreicht werden.
Es wird sowohl das Wissen um die LVA-Inhalte (durch offene/geschlossene Fragen) als auch die Fähigkeit die behandelten Konzepte/Techniken anzuwenden (durch entsprechende Aufgaben) überprüft.

Examination topics

Der Prüfungsstoff umfasst alle in der Vorlesung behandelten Inhalte, insbesondere die in der Lernplattform bereitgestellten Unterlagen.

Reading list

Association in the course directory

Last modified: Mo 07.09.2020 15:29