Plan zajęć przedmiotu Sztuczna inteligencja w dowodzeniu twierdzeń [1000-2M19SID] Semestr letni 2019/20

Po kliknięciu kafelka danej grupy zajęciowej wyświetli się okno ze szczegółowymi informacjami. Pod niektórymi z nich kryją się linki prowadzące m.in. do strony grupy zajęciowej, strony prowadzącego/koordynatora (czy informacji dotyczących budynku, w którym odbywają się zajęcia).

Użyte na planie oznaczenia:

zajęcia odbywają się w tygodnie nieparzyste

zajęcia odbywają się w tygodnie parzyste

zajęcia odbywają się w inny sposób, nie przez cały semestr