Logika matematyczna 2026/27 (Inżynieria Danych i Sztuczna Inteligencja, stacjonarne, st. I, sem. 1)