Podla mna bola dnes skuska celkom v pohode, v mojej skupine boli teoreticke otazky 1. Sekvencne zobrazenia 2. Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre. Priklady boli jeden na zasobnikovy automat a jeden vytvorit polinom zegalkina z nejakej funkcie... Skuskali Hudak a Korecko, ja som mal to stastie ze som dostal Korecka, absolutne nic sa ma nepital, len mi zapisal B-cko... Kolko som vydel, kto dostal Chudaka, ten bol stasny ak dostal E-cko, aj napriek tomu ak mal pisomku trebars aj na A-cko ...