Theoretische Informatik: Berechenbarkeit und Komplexität

Автори / авторки: Andreas Schäfer
Пропонований університет: Technische Hochschule Lübeck
Мова курсу: Німецька
Галузь знань: Einstiegskurse Безкоштовно
Середнє навантаження: 45 Години Безкоштовно Рекомендований лист
Поділіться
твітнути
Поділіться
Поділіться
Поділіться
Поділіться

Що очікує Вас на даному курсі?

Formale Sprachen und Automaten bilden die Grundlage, um Eingaben von NutzerInnen zu analysieren, angefangen bei Adressen in Web-Formularen bis hin zu komplexem Quelltext in Java. Diese dreiteilige Kursreihe liefert das theoretische Fundament. Er zeigt auch die Grenzen von Maschinenmodellen und von Berechenbarkeit im Allgemeinen. Dieser dritte Kurs widmet sich speziell dem Konzept von Turing-Maschinen und Fragen der Komplexität und der Berechenbarkeit.

Чого можна навчитися на цьому курсі?

Mit der Hilfe dieses Kurses sollen diese Lernziele ermöglicht werden:

  • Du kannst das grundlegende Prinzip von Turingmaschinen erklären.
  • Du kannst das Problem der Unentscheidbarkeit darlegen und mehrere Beispiel nennen.
  • Du kannst semi-entscheidbare Probleme von unentscheidbaren Problemen abgrenzen.
  • Du kannst die Gedanken hinter den Zeitkomplexitätsklassen P und NP beschreiben.

Структура

  • Organisation
  • Turing-Maschinen
  • Unentscheidbare Probleme
  • Semi-Entscheidbare Probleme
  • Zeitkomplexität

Автори / авторки

Prof. Dr. Andreas Schäfer

Andreas Schäfer promovierte 2007 an der Carl von Ossietzky University in Oldenburg.

Es arbeitete dann für fünf Jahre beim Europäischen Patentbüro. Seit 2012 ist er Professor der Informatik an der Technischen Hochschule in Lübeck. Seine Interessenschwerpunkte umfassen Automatentheorie, Logik und formale Methoden.


Ліцензія

Creative Commons
Berechenbarkeit
Komplexität
Informatik