Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.12.2014, Lektion 13