BME/ELTE TTK, 2013/14 1 félév, Modellelmélet