Was erwartet Dich in diesem Kurs?
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.
Was kannst Du in diesem Kurs lernen?
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.
Wie ist der Kurs aufgebaut?
- 0. Organisation
- 1. Turing-Maschinen
- 2. Unentscheidbare Probleme
- 3. Semi-Entscheidbare Probleme
- 4. Zeitkomplexität
Sehr guter Kurs zum grundlegenden Verständnis.
Sehr gut und verständlich gemacht. Ausreichend Beispiele. Gute Herleitungen.