Berechenbarkeit und Komplexität - Vorlesung 06