Zajęcia fakultatywne MATEMATYKA III rok (F1, F2)
- Dowody z księgi - zajęcia fakultatywne WM-MA-S1-E6-ZF2
- Filozofia matematyki - zajęcia fakultatywne WM-MA-FILM
- Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne WM-MA-S1-E6-LIZ
- Metody formalne w informatyce-zajęcia fakultatywne WM-MA-S1-E5-MFWI
- Metody matematyczne fizyki WM-MA-S1-E6-MMF
- Struktury generyczne - zajecia fakultatywne WM-MA-S1-E6-SG