Plan zajęć przedmiotu Sztuczna inteligencja w dowodzeniu twierdzeń [1000-2M19SID] Semestr letni 2020/21
Ustawienia planu
Poniedziałek
Cezary Kaliszyk
14:15
Wykład, grupa 1
każdy poniedziałek, 14:15 - 16:00
Sala 5050, budynek nr 3320
Sebastian Jaszczur
16:15
Ćwiczenia, grupa 1
każdy poniedziałek, 16:15 - 18:00
Sala 5050, budynek nr 3320
Wtorek
Środa
Czwartek
Piątek
Wszystkie zajęcia odbywają się w budynku: Gmach Wydziału Matematyki - Banacha 2