Logika i teoria mnogości_informatyka_1 rok_1 stopień_2024/25_zima