Zajêcia dydaktyczne z systemem MIZAR
Podstawy metod formalnych
(I rok Informatyki)
Metody konstruktywne w informatyce
(II rok Informatyki)
Softadm