ELTE TTK, 2008/9 1 félév, Modellelmélet