050026 VO Theoretische Informatik (2013S)

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

Moodle

Details

Sprache: Deutsch

Prüfungstermine

Mittwoch 26.06.2013 17:00 - 18:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03 Dienstag 15.10.2013 18:30 - 20:00 Hörsaal C1 UniCampus Hof 2 2G-O1-03 Mittwoch 20.11.2013 16:45 - 17:45 Hörsaal 1, Währinger Straße 29 1.UG Freitag 17.01.2014 16:45 - 17:45 Hörsaal 1, Währinger Straße 29 1.UG

Lehrende

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

    
    Freitag
    08.03.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    15.03.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    22.03.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    12.04.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    19.04.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    26.04.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    03.05.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    10.05.
    09:45 - 11:15
    Hörsaal 3, Währinger Straße 29 3.OG
    
    Freitag
    10.05.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    17.05.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    24.05.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    31.05.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    07.06.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    14.06.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    21.06.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG
    
    Freitag
    28.06.
    15:00 - 16:30
    Hörsaal 1, Währinger Straße 29 1.UG

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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

VO-Prüfung

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Mo 07.09.2020 15:29