Theoretische Informatik für Medieninformatiker

Beschreibung
Es wird eine Einführung in die zentralen Konzepte und Ergebnisse der Theoretischen Informatik gegeben, mit Anwendungsbeispielen. Die folgenden Themen werden vertiefend behandelt:
  • Automaten und Formale Sprachen:
    Deterministische und nicht-deterministische endliche Automaten, reguläre Ausdrücke, Grammatiken, kontextfreie Sprachen, Pushdown-Automaten
  • Berechenbarkeit:
    Turing-Maschinen, Church'sche These, Unentscheidbarkeit, Halteproblem, Reduktion
  • Komplexitätstheorie:
    Die Klassen P und NP, NP-vollständige Probleme
    Institut
    Institut für Informatik
    Dozent
    Korrektoren
    Externe Homepage
    https://www.tcs.ifi.lmu.de/lehre/ss-2019/timi/
    Kursteilnehmer
    131
    Anmeldung

    Mo 25 Feb 2019 10:30 – Sa 27 Jul 2019 23:59

    Abmeldung nur bis Mo 30 Sep 2019 23:59

    Material
    Eine Anmeldung zum Kurs ist Voraussetzung zum Zugang zu Kursmaterial
    Prüfungen
    NameAnmeldung abAnmeldung bisTerminPrüfungsanmeldung
    Mo 01 Jul 2019 12:00
    Mo 22 Jul 2019 07:00
    Di 30 Jul 2019 16:00 – 19:00
    Nicht zur Prüfung angemeldet
    Fr 13 Sep 2019 00:00
    Mo 14 Okt 2019 07:00
    Do 24 Okt 2019 18:00 – 21:00
    Nicht zur Prüfung angemeldet