Mirosława Kołowska-Gawiejnowicz

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

st. wykładowca dr w jednostce Zakład Logiki Matematycznej

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 - Języki i paradygmaty programowania 06-DJPPLN0: Wykład (grupa 1)

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/SL - Praktyka ciągła - informatyka 06-DPCILN0: Praktyka (grupa 11)

2018/SL - Praktyka ciągła - informatyka 06-ZPCILN0: Praktyka (grupa 1)

2018/SL - Praktyka ciągła - informatyka 06-ZPCIUN0: Praktyka (grupa 1)

2018/SL - Praktyka ciągła z informatyki 06-DPCIUN0: Praktyka (grupa 11)

2018/SL - Przygotowanie pracy i egzaminu licencjackiego 06-DPPLLM0: Ćwiczenia (grupa 24)

2018/SL - Przygotowanie pracy i egzaminu licencjackiego 06-ZPPLN0: Ćwiczenia (grupa 4)

2018/SL - Seminarium licencjackie 06-DSEMLM0: Seminarium (grupa 24)

2018/SL - Seminarium licencjackie 06-ZSEMLN0: Seminarium (grupa 4)

2018/SL - Technologia informacyjna 06-DTEILN0: Wykład (grupa 1)

2018/SL - Technologia informacyjna w edukacji 06-DTIELN0: Zajęcia laboratoryjne (grupa 11)

2018/SZ - Dydaktyka informatyki 06-DDINLN0: Wykład (grupa 1)

2018/SZ - Technologia informacyjna 06-DTEILM0: Ćwiczenia (grupa 11)

2018/SZ - Wstęp do logiki i teorii mnogości 06-DWLTLN0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12)

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 - Języki i paradygmaty programowania 06-ZJPPLN0: Wykład (grupa 1)

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

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 - Praktyka ciągła - informatyka 06-DPCILN0: Praktyka (grupa 11)

2019/SL - Praktyka ciągła - informatyka 06-ZPCILN0: Praktyka (grupa 1)

2019/SL - Przygotowanie pracy i egzaminu licencjackiego 06-DPPLLN0: Ćwiczenia (grupa 15)

2019/SL - Seminarium licencjackie 06-DSEMLN0: Seminarium (grupa 15)

2019/SL - Seminarium licencjackie 06-ZSEMLM0: Seminarium (grupa 13)

2019/SL - Seminarium magisterskie 1 06-ZSEMUA1: Seminarium (grupa 8)

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 - Nowe technologie w kształceniu studentów 10-NTKS-DDZ: Warsztat (grupa 1)

2019/SZ - Nowe technologie w kształceniu studentów 10-NTKS-DDZ-n: Warsztat (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 - Seminarium magisterskie 2 06-ZSEMUA2: Seminarium (grupa 8)

2019/SZ - Technologia informacyjna 06-DTEILM0: Ćwiczenia (grupa 15)

2019/SZ - Wstęp do matematyki 06-DWMALN0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12)

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 - Logika matematyczna 06-DLOGLN0: Ćwiczenia (grupa 11)

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 - Praktyka ciągła - informatyka 06-DPCILN0: Praktyka (grupa 11)

2020/SL - Projekt magisterski 06-ZPROUA0: Zajęcia laboratoryjne (grupa 8)

2020/SL - Przygotowanie pracy i egzaminu licencjackiego 06-DPPLLN0: Ćwiczenia (grupa 15)

2020/SL - Seminarium licencjackie 06-DSEMLN0: Seminarium (grupa 15)

2020/SL - Seminarium magisterskie 3 06-ZSEMUA3: Seminarium (grupa 8)

2020/SL - Sztuczna inteligencja 06-ZSZILI0: Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Zajęcia laboratoryjne (grupa 3)

2020/SZ - Dydaktyka informatyki 06-DDINLN0: Wykład (grupa 1)

2020/SZ - Logiczne podstawy informatyki 06-ZLPIUI0: Zajęcia laboratoryjne (grupa 1), Zajęcia laboratoryjne (grupa 2), Wykład (grupa 1)

2020/SZ - Logika i programowanie logiczne 06-DLPLUN0: Ćwiczenia (grupa 11)

2020/SZ - Praktyka hospitacyjna z informatyki 06-DPHILN0: Praktyka (grupa 11), Praktyka (grupa 12)

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

2020/SZ - Sztuczna inteligencja i jej zastosowania 06-DSSZUN0: Ćwiczenia (grupa 11)

2020/SZ - Wstęp do matematyki 06-DWMALN0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12)

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 ciągła - informatyka 06-DPCILN0: Praktyka (grupa 11)

2021/SL - Praktyka hospitacyjno-uczestnicząca z informatyki 06-DPUILN0: Ćwiczenia (grupa 12), Praktyka (grupa 12)

2021/SL - Programowanie deklaratywne 17-DPRD-IP0: Zajęcia laboratoryjne (grupa 1), Wykład (grupa 1)

2021/SL - Przygotowanie pracy i egzaminu licencjackiego 06-DPPLLN0: Ćwiczenia (grupa 15)

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

2021/SL - Seminarium licencjackie 06-DSEMLN0: Seminarium (grupa 15)

2021/SL - Seminarium licencjackie 2 06-DSEMLM2: Seminarium (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)

2021/SZ - Logika i programowanie logiczne 06-DLPLUN0: Ćwiczenia (grupa 11)

2021/SZ - Praktyka hospitacyjna z informatyki 06-DPHILN0: Praktyka (grupa 11), Praktyka (grupa 12)

2021/SZ - Seminarium 06-DSEMLN1: Seminarium (grupa 14)

2021/SZ - Wstęp do matematyki 06-DWMALN0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12)

2022/SL - Informatyczne rozwiązywanie zadań matematycznych 06-DIRZLN0: Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12)

2022/SL - Logika 06-DLOGLM0: Ćwiczenia (grupa 11)

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 - Seminarium 06-DSEMLN2: Seminarium (grupa 14)

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 - Logika i programowanie logiczne 06-DLPLUN0: Ćwiczenia (grupa 11)

2022/SZ - Seminarium 06-DSEMLN1: Seminarium (grupa 12)

2022/SZ - Wstęp do matematyki 06-DWMALN0: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12)

2022/SZ - Zastosowanie programów użytkowych w kształceniu 06-PZPKKI0: Zajęcia laboratoryjne (grupa 11)

2023/SL - Logika 06-DLOGLM0: Ćwiczenia (grupa 11)

2023/SL - Logika 06-ZLOGLM0: Ćwiczenia (grupa 11)

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

2023/SL - Podstawy programowania deklaratywnego 06-DPPDLI0: Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12), Wykład (grupa 1)

2023/SL - Seminarium 06-DSEMLN2: Seminarium (grupa 12)

2023/SL - Seminarium licencjackie 06-DSEMLM0: Seminarium (grupa 14)

2023/SL - Seminarium magisterskie 1 06-DSEMUN1: Seminarium (grupa 12)

2023/SL - Systemy oprogramowania użytkowego 06-PSOUDI0: Zajęcia laboratoryjne (grupa 11)

2023/SL - Sztuczna inteligencja 06-ZSZILI0: Zajęcia laboratoryjne (grupa 11)

2023/SZ - Logika i programowanie logiczne 06-DLPLUN0: Ćwiczenia (grupa 11)

2023/SZ - Seminarium magisterskie 2 06-DSEMUN2: Seminarium (grupa 12)

2023/SZ - Wstęp do matematyki 06-S1NMI01-P00194: Ćwiczenia (grupa 11), Ćwiczenia (grupa 12)

Imiona

Mirosława

Nazwisko

Kołowska-Gawiejnowicz

Stopnie i tytuły

61 829 5441

Uniwersytetu Poznańskiego 4, 61-614 Poznań, pokój B2-24

https://orcid.org/0000000313336438

wyślij wiadomość do użytkownika