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