Moderne Theoretische Informatik - VL 09 (Teil 1)