Logik in der Informatik, SoSe 2013