 |
profesor uczelni w jednostce Zakład Logiki i Kognitywistyki
|
prof. UAM dr hab.
Dorota Leszczyńska-Jasion
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Koordynowane przedmioty
2018/SZ - Matematyczne podstawy kognitywistyki 08-KODL-MPK
2019/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK
2020/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK
2021/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK
2022/SL - Structural Proof Theory 23-PIE-SPT
2022/SL - ZF: Structural Proof Theory 23-KODL-SPT
2022/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK
2023/SL - Structural Proof Theory 23-PIE-SPT
2023/SL - ZF: Structural Proof Theory 23-KODL-SPT
Prowadzone przedmioty
2018/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 08-KODL-MDT:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Wykład (grupa 1)
2018/SZ - Matematyczne podstawy kognitywistyki 08-KODL-MPK:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4), Ćwiczenia (grupa 5), Ćwiczenia (grupa 6)
2019/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 08-KODL-MDT:
Zajęcia laboratoryjne (grupa 1)
2019/2020 - Opieka nad realizacją indywidualnego programu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 19)
2019/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4), Ćwiczenia (grupa 5), Ćwiczenia (grupa 6)
2020/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 23-KODL-MDT:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2)
2020/2021 - Opieka nad realizacją indywidualnego programu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 18)
2020/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4)
2021/SL - Podstawy algorytmiki 23-KODL-POA:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)
2021/2022 - Opieka nad realizacją indywidualnego programu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 20)
2022/SL - Podstawy algorytmiki 23-KODL-POA:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)
2022/2023 - Opieka nad realizacją indywidualnego programu badawczego doktoranta 5604-DS-OPNAUK:
Seminarium (grupa 19)
2022/SZ - Matematyczne podstawy kognitywistyki 23-KODL-MPK:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 3), Ćwiczenia (grupa 4)
Imiona
Dorota
Nazwisko
Leszczyńska-Jasion
Stopnie i tytuły
prof. UAM dr hab.
