VÝPOČETNÍ MATEMATICKÉ SYSTÉMY, podzim 2011