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