BME/ELTE TTK, 2024/25 2. félév, Modellelmélet