![]() |
st. wykładowca dr w jednostce Zakład Logiki Matematycznej
|

dr
Mirosława Kołowska-Gawiejnowicz
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
semestr zimowy 2023/2024
wtorek 12:00-13:00
środa 12:30-13:30
Koordynowane przedmioty
2021/SL - Programowanie deklaratywne 17-DPRD-IP0
2022/SL - Programowanie deklaratywne 17-DPRD-IP0
Prowadzone przedmioty
2018/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 08-KODL-MDT:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2)
2018/SL - Nowe technologie w kształceniu studentów 10-NTKS-DDZ:
Warsztat (grupa 1), Warsztat (grupa 2)
2018/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Zajęcia laboratoryjne (grupa 11), Wykład (grupa 1)
2018/SZ - Zajęcia metodyczne w szkole - praktyka śródroczna - informatyka 06-DPSILN0:
Ćwiczenia (grupa 11)
2018/SZ - Zajęcia metodyczne w szkole praktyka śródroczna 2 informatyka 06-ZPSILN2:
Ćwiczenia (grupa 1)
2019/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 08-KODL-MDT:
Zajęcia laboratoryjne (grupa 1)
2019/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Wykład (grupa 1)
2019/SL - Sztuczna inteligencja 06-ZSZILI0:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3), Zajęcia laboratoryjne (grupa 4), Zajęcia laboratoryjne (grupa 5), Zajęcia laboratoryjne (grupa 6), Zajęcia laboratoryjne (grupa 7)
2019/SL - Technologia informacyjna 06-DTEILN0:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Wykład (grupa 1)
2019/SZ - Podstawy programowania funkcyjnego 06-ZPPFLI0:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3), Wykład (grupa 1)
2019/SZ - Zajęcia metodyczne w szkole - praktyka śródroczna - informatyka 06-DPSILN0:
Ćwiczenia (grupa 11)
2020/SL - Logika i teoria mnogości 06-DLTMLI0:
Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14)
2020/SL - Metody dowodzenia twierdzeń i automatyzacja rozumowań 23-KODL-MDT:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2)
2020/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12), Wykład (grupa 1)
2020/SL - Sztuczna inteligencja 06-ZSZILI0:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3)
2020/SZ - Logiczne podstawy informatyki 06-ZLPIUI0:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Wykład (grupa 1)
2021/SL - Informatyczne rozwiązywanie zadań matematycznych 06-DIRZLN0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12)
2021/SL - Logika i teoria mnogości 06-DLTMLI0:
Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia (grupa 16), Ćwiczenia (grupa 17)
2021/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Zajęcia laboratoryjne (grupa 12), Zajęcia laboratoryjne (grupa 13), Wykład (grupa 1)
2021/SL - Praktyka hospitacyjno-uczestnicząca z informatyki 06-DPUILN0:
Ćwiczenia (grupa 12), Praktyka (grupa 12)
2021/SL - Sztuczna inteligencja 06-ZSZILI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12)
2021/SZ - Logiczne podstawy informatyki 06-ZLPIUI0:
Zajęcia laboratoryjne (grupa 11), Wykład (grupa 1)
2022/SL - Informatyczne rozwiązywanie zadań matematycznych 06-DIRZLN0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12)
2022/SL - Logika i teoria mnogości 06-DLTMLI0:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15)
2022/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12), Wykład (grupa 1)
2022/SL - Programowanie deklaratywne 17-DPRD-IP0:
Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Wykład (grupa 1)
2022/SL - Sztuczna inteligencja 06-ZSZILI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12), Zajęcia laboratoryjne (grupa 13)
2022/SZ - Logiczne podstawy informatyki 06-ZLPIUI0:
Zajęcia laboratoryjne (grupa 11), Wykład (grupa 1)
2022/SZ - Zastosowanie programów użytkowych w kształceniu 06-PZPKKI0:
Zajęcia laboratoryjne (grupa 11)
2023/SL - Logika i teoria mnogości 06-DLTMLI0:
Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15)