2017/SZ - Automaty i języki formalne 06-DAUTLI0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia (grupa 16), Wykład (grupa 1)

2017/SZ - Automaty i języki formalne 06-ZAUTLI0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)

2018/SL - Logic and set theory 06-DLTMLI0-E: Wykład (grupa 1)

2018/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 14), Ćwiczenia (grupa 15)

2018/SL - Matematyczne Podstawy informatyki 06-pila-IS-MPI: Wykład (grupa 1)

2018/SL - Przygotowanie do egzaminu magisterskiego 06-ZEGZUN0: Ćwiczenia (grupa 5)

2018/SL - Seminarium magisterskie 1 06-DSEMUI1: Seminarium (grupa 13)

2018/SL - Seminarium magisterskie 4 06-ZSEMUN4: Seminarium (grupa 5)

2018/SZ - Automaty i języki formalne 06-DAUTLI0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia (grupa 17), Wykład (grupa 1)

2018/SZ - Automaty i języki formalne 06-ZAUTLI0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4), Wykład (grupa 1)

2018/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0: Ćwiczenia (grupa 1), Wykład (grupa 1)

2018/SZ - Teoria obliczeń 06-ZTEOLI0: Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3), Zajęcia laboratoryjne (grupa 4), Wykład (grupa 1)

2019/SL - Elementy teorii złożoności obliczeniowej 06-ZETZLI0: Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3), Wykład (grupa 1)

2019/SL - Logic and set theory 06-DLTMLI0-E: Wykład (grupa 1)

2019/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 15)

2019/SZ - Automaty i języki formalne / Sztuczna Inteligencja 17-DAUT-IP0: Ćwiczenia (grupa 1), Wykład (grupa 1)

2019/SZ - Formal languages and complexity theory 06-DJFZLI0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2019/SZ - Języki formalne i złożoność obliczeniowa 06-DJFZLI0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia (grupa 16), Wykład (grupa 1)

2019/SZ - Języki formalne i złożoność obliczeniowa 06-ZJFZLI0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3), Wykład (grupa 1)

2019/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1), Wykład (grupa 2)

2019/SZ - Teoria obliczeń 06-ZTEOUI0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)

2020/SL - Logic and set theory 06-DLTMLI0-E: Wykład (grupa 1)

2020/SL - Seminarium magisterskie 1 06-DSEMUA1: Seminarium (grupa 25)

2020/SL - Seminarium magisterskie 1 06-DSEMUI1: Seminarium (grupa 32)

2020/SZ - Automaty i języki formalne / Sztuczna Inteligencja 17-DAUT-IP0: Ćwiczenia (grupa 1), Wykład (grupa 1)

2020/SZ - Formal languages and complexity theory 06-DJFZLI0-E: Ćwiczenia (grupa 21), Wykład (grupa 2)

2020/SZ - Języki formalne i złożoność obliczeniowa 06-DJFZLI0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia (grupa 16), Wykład (grupa 1)

2020/SZ - Języki formalne i złożoność obliczeniowa 06-ZJFZLI0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Wykład (grupa 1)

2020/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)

2020/SZ - Projekt magisterski 06-DPROUI0: Zajęcia laboratoryjne (grupa 12)

2020/SZ - Seminarium licencjackie 1 06-DSEMLM1: Seminarium (grupa 14)

2020/SZ - Seminarium magisterskie 2 06-DSEMUA2: Seminarium (grupa 23)

2020/SZ - Seminarium magisterskie 2 06-DSEMUI2: Seminarium (grupa 13)

2021/SL - Projekt magisterski 06-DPROUA0: Zajęcia laboratoryjne (grupa 14)

2021/SL - Seminarium licencjackie 2 06-DSEMLM2: Seminarium (grupa 14)

2021/SL - Seminarium magisterskie 3 06-DSEMUA3: Seminarium (grupa 20)

2021/SL - Seminarium magisterskie 3 06-DSEMUI3: Seminarium (grupa 13)

2021/SZ - Automaty i języki formalne / Sztuczna Inteligencja 17-DAUT-IP0: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)

2021/SZ - Formal languages and complexity theory 06-DJFZLI0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2021/SZ - Historia i filozofia matematyki 06-DHFMUM0: Ćwiczenia (grupa 11)

2021/SZ - Języki formalne i złożoność obliczeniowa 06-DJFZLI0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia (grupa 16), Wykład (grupa 1)

2021/SZ - Języki formalne i złożoność obliczeniowa 06-ZJFZLI0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Wykład (grupa 1)

2021/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0: Ćwiczenia (grupa 1), Wykład (grupa 1)