Moderne Theoretische Informatik - VL 07 (Teil 1)