 |
profesor uczelni w jednostce Pracownia Logiki i Filozofii Informatyki
|
prof. UAM dr hab.
Maciej Kandulski
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
wtorek, godz. 12.00 - 13.00
środa, godz. 11.00 - 12.00
Koordynowane przedmioty
2018/SL - Logic and set theory 06-DLTMLI0-E
2018/SL - Matematyczne Podstawy informatyki 06-pila-IS-MPI
2018/SZ - Automaty i języki formalne 06-DAUTLI0
2018/SZ - Automaty i języki formalne 06-ZAUTLI0
2018/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0
2019/SZ - Formal languages and complexity theory 06-DJFZLI0-E
2019/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0
2020/SL - Logic and set theory 06-DLTMLI0-E
2020/SZ - Formal languages and complexity theory 06-DJFZLI0-E
2020/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0
2021/SZ - Formal languages and complexity theory 06-DJFZLI0-E
2021/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0
2022/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0
2023/SZ - Podstawy logiki i teorii mnogości 17-DLOG-IP0
2024/SL - Elementy logiki i teorii mnogości 04-S3INK02-P02416
2024/SL - Elementy logiki i teorii mnogości 06-S3IN02-P02416
2024/SL - Logika 06-DLOGLM0
2024/SZ - Podstawy logiki i teorii mnogości 17-S3TI01-P07257
2025/SL - Elementy logiki i teorii mnogości 04-S3INK02-P02416
2025/SL - Elementy logiki i teorii mnogości 06-S3IN02-P02416
2025/SL - Języki formalne i złożoność obliczeniowa 06-N3IN04-P02425
2025/SL - Języki formalne i złożoność obliczeniowa 06-S3IN04-P02425
2025/SL - Logika 06-S1MA04-P00030
Prowadzone przedmioty
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 - 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/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)
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)
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 - 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)
2022/SZ - Automaty i języki formalne / Sztuczna Inteligencja 17-DAUT-IP0:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Zajęcia laboratoryjne (grupa 1), Wykład (grupa 1)
2022/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)
2022/SZ - Języki formalne i złożoność obliczeniowa 06-ZJFZLI0:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Wykład (grupa 1)
2023/SZ - Języki formalne i złożoność obliczeniowa 06-DJFZLI0:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Wykład (grupa 1)
2023/SZ - Języki formalne i złożoność obliczeniowa 06-ZJFZLI0:
Ćwiczenia (grupa 11), Wykład (grupa 1)
2024/SZ - Języki formalne i złożoność obliczeniowa 06-DJFZLI0:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Wykład (grupa 1)
2024/SZ - Języki formalne i złożoność obliczeniowa 06-ZJFZLI0:
Ćwiczenia (grupa 11), Wykład (grupa 1)
2025/SL - Języki formalne i złożoność obliczeniowa 06-N3IN04-P02425:
Ćwiczenia (grupa 11), Wykład (grupa 1)
