Moderne Theoretische Informatik -- VL 01