在Berechenbarkits和Komplexitätstheorie的Gebiete中,Vorlesung是一个很好的例子。
Dazu werden verschiedene Zugänge zum Berechenbarkeits begriff vorgestellt und miteinander verglichen(大足卫城)。Darüber hinaus是问题解决者,welche Problemstellungen effizient lösbar sind und welche-nicht。
- Berechenbarkeits:直觉者Berechenbarkeitsbegriff und Churchsche这些,verschiedeneäequivalent Formalisierungen des Berechenkarkeitskonzepts,Halteproblem,Reduzierbarkeit und Unentscheidbarkeit。
- 基本重kursive und LOOP-berechenbare Funktitionen sowie Ackermannfunktion
- Komplexitätstheorie:Komplexitätsklassen,das P-NP问题,effiziente Reduzierbarkeit,NP-Vollständigkeit des Erfüllbarkeitsproblems und verschiedener Graphenprobleme。