Alle Kurse

Filter

Dozent
  • Sabel
Anmeldung
Mi 27 Feb 2019 00:00 – Mo 30 Sep 2019 23:59
Beschreibung
Die Veranstaltung behandelt Grundlagen der theoretischen Informatik: Sie gibt Einführungen in die Theorie der formalen Sprachen und Automaten sowie in die Berechenbarkeits- und Komplexitätstheorie.
Dozent
  • Jost
Anmeldung
Mo 01 Apr 2019 00:00 – Mo 30 Sep 2019 23:59
Beschreibung

Aktuelles

  • Feedback zur Erstklausur

    Die Vorlesung führt in grundlegende Prinzipien der Programmierung und der Datenmodellierung mit einer funktionalen Programmiersprache ein. Die wesentlichen Themen sind: Datentypen, Funktionen und Rekursion, Auswertung und Terminierung von Programmen, Typsysteme und Typinferenz, Polymorphie und Typklassen, Semantik von Programmiersprachen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.

    Eine Aufzeichnung der Vorlesung ist hier erhältlich.

    Dozent
    • Johannsen
    Anmeldung
    Mo 25 Feb 2019 10:30 – Sa 27 Jul 2019 23:59
    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