050026 VO Theoretische Informatik (2016S)

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

Moodle

Details

Sprache: Deutsch

Prüfungstermine

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

Lehrende

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

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Schriftliche VO-Prüfung (ohne Hilfsmittel)

Mindestanforderungen und Beurteilungsmaßstab

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.

Prüfungsstoff

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

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Mo 07.09.2020 15:29