adiunkt w jednostce Zakład Logiki i Kognitywistyki
|
dr
Szymon Chlebowski
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Koordynowane przedmioty
Prowadzone przedmioty
2018/SL - Laboratorium 1.2: Podstawy programowania funkcyjnego 08-KODL-PF2:
Zajęcia laboratoryjne (grupa 1)
2018/SZ - Technologie informacyjne 08-PSZ5-TIN:
Konwersatorium (grupa 1), Konwersatorium (grupa 2), Konwersatorium (grupa 3), Konwersatorium (grupa 4), Konwersatorium (grupa 5), Konwersatorium (grupa 6), Konwersatorium (grupa 7)
2019/SL - Laboratorium 1.2: Podstawy programowania funkcyjnego 08-KODL-PF2:
Zajęcia laboratoryjne (grupa 1)
2019/2020 - Opieka nad realizacją indywidualnego planu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 19)
2019/SZ - Technologia informacyjna 23-PSZ5-TIN:
Konwersatorium (grupa 1), Konwersatorium (grupa 2), Konwersatorium (grupa 3), Konwersatorium (grupa 4), Konwersatorium (grupa 5), Konwersatorium (grupa 6), Konwersatorium (grupa 7)
2020/SL - Laboratorium 1.2: Podstawy programowania funkcyjnego 23-KODL-PF2:
Zajęcia laboratoryjne (grupa 1)
2020/2021 - Opieka nad realizacją indywidualnego planu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 18)
2020/SZ - Technologia informacyjna 23-PSZ5-TIN:
Konwersatorium (grupa 1), Konwersatorium (grupa 6), Konwersatorium (grupa 7)
2021/2022 - Opieka nad realizacją indywidualnego planu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 20)
2022/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 23-KODL-MDT:
Zajęcia laboratoryjne (grupa 1)
2022/2023 - Opieka nad realizacją indywidualnego planu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 19)
2022/SZ - Technologia informacyjna 23-PSZ5-TIN:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4), Ćwiczenia (grupa 5), Ćwiczenia (grupa 6), Ćwiczenia (grupa 7)
2023/SL - Laboratorium 1.2: Podstawy programowania funkcyjnego. Elementy programowania funkcyjnego (haskell i Scala) 23-KODL-PPF:
Zajęcia laboratoryjne (grupa 1)
2023/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 23-KODL-MDT:
Zajęcia laboratoryjne (grupa 1)
2023/SZ - Technologia informacyjna 23-N5PS01-P01882:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4), Ćwiczenia (grupa 5), Ćwiczenia (grupa 6), Ćwiczenia (grupa 7)