26 Folgen

Die Vorlesung gibt eine Einführung in die theoretischen Grundlagen der Informatik. Folgende Themen werden u.a. behandelt:
1. Formale Sprachen und Automatentheorie Chomsky-Hierarchie (reguläre, kontextfreie, Typ0-Sprachen, reguläre Ausdrücke) Grammatiken (Typen, Eindeutigkeit, Abgeschlossenheit) Automatenmodelle (endliche Automaten, Kellerautomaten, Turingmaschinen)
2. Entscheidbarkeit und Berechenbarkeit Entscheidbarkeit, Aufzählbarkeit Universelle Turingmaschine, Diagonalisierung, Halteproblem Berechenbarkeit, µ-rekursive Funktionen, Church/Turing-These
3. Komplexitätstheorie Optimierungs- und Entscheidungsprobleme Codierung Klassen P und NP, NP-Vollständigkeit Parametrisierte Komplexität

Theoretische Grundlagen der Informatik Universität Konstanz

    • Technologie

Die Vorlesung gibt eine Einführung in die theoretischen Grundlagen der Informatik. Folgende Themen werden u.a. behandelt:
1. Formale Sprachen und Automatentheorie Chomsky-Hierarchie (reguläre, kontextfreie, Typ0-Sprachen, reguläre Ausdrücke) Grammatiken (Typen, Eindeutigkeit, Abgeschlossenheit) Automatenmodelle (endliche Automaten, Kellerautomaten, Turingmaschinen)
2. Entscheidbarkeit und Berechenbarkeit Entscheidbarkeit, Aufzählbarkeit Universelle Turingmaschine, Diagonalisierung, Halteproblem Berechenbarkeit, µ-rekursive Funktionen, Church/Turing-These
3. Komplexitätstheorie Optimierungs- und Entscheidungsprobleme Codierung Klassen P und NP, NP-Vollständigkeit Parametrisierte Komplexität

    • video
    Theoretische Grundlagen der Informatik - 22.04.2014

    Theoretische Grundlagen der Informatik - 22.04.2014

    • 1 Std. 47 Min.
    • video
    Theoretische Grundlagen der Informatik - 24.04.2014

    Theoretische Grundlagen der Informatik - 24.04.2014

    • 1 Std. 33 Min.
    • video
    Theoretische Grundlagen der Informatik - 28.04.2014

    Theoretische Grundlagen der Informatik - 28.04.2014

    • 1 Std. 47 Min.
    • video
    Theoretische Grundlagen der Informatik - 29.04.2014

    Theoretische Grundlagen der Informatik - 29.04.2014

    • 1 Std. 29 Min.
    • video
    Theoretische Grundlagen der Informatik - 05.05.2014

    Theoretische Grundlagen der Informatik - 05.05.2014

    • 1 Std. 24 Min.
    • video
    Theoretische Grundlagen der Informatik - 06.05.2014

    Theoretische Grundlagen der Informatik - 06.05.2014

    • 1 Std. 16 Min.

Top‑Podcasts in Technologie

Zuhörer haben auch Folgendes abonniert:

Mehr von Universität Konstanz