Berechenbarkeit und ihre Grenzen, deterministische und nichtdeterministische Algorithmen, unlösbare Probleme. Komplexität, effiziente Algorithmen, nicht-handhabbare Probleme, Berechenbarkeits- und Komplexitätsklassen, NP-Vollständigkeit und Reduktionen.