ELTE/BME TTK, 2011/12 1 félév, Modellelmélet