St 14:50 - 16:20 (2 v.hod.) M-IX Cvičenie 1-AIN-211 Úvod do teoretickej informatiky L. Budinská