 |
st. wykładowca dr w jednostce Pracownia Logiki i Filozofii Informatyki
|
dr
Mirosława Kołowska-Gawiejnowicz
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
semestr letni 2024/2025
wtorek 12:00-13:00
czwartek 10:00-11:00 (online MS Teams)
Koordynowane przedmioty
2021/SL - Programowanie deklaratywne 17-DPRD-IP0
2022/SL - Programowanie deklaratywne 17-DPRD-IP0
2024/SZ - Wstęp do matematyki 06-S1NMI01-P00194
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)
2023/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12), Wykład (grupa 1)
2023/SZ - Logiczne podstawy informatyki 06-ZLPIUI0:
Zajęcia laboratoryjne (grupa 11), Wykład (grupa 1)
2024/SL - Elementy logiki i teorii mnogości 04-S3INK02-P02416:
Ćwiczenia (grupa 1), Ćwiczenia w sali komputerowej (grupa 1)
2024/SL - Elementy logiki i teorii mnogości 06-N3IN02-P02416:
Ćwiczenia (grupa 11), Ćwiczenia w sali komputerowej (grupa 11), Ćwiczenia w sali komputerowej (grupa 12), Wykład (grupa 1)
2024/SL - Elementy logiki i teorii mnogości 06-S3IN02-P02416:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia w sali komputerowej (grupa 11), Ćwiczenia w sali komputerowej (grupa 12), Ćwiczenia w sali komputerowej (grupa 13), Ćwiczenia w sali komputerowej (grupa 14), Ćwiczenia w sali komputerowej (grupa 15)
2024/SL - Podstawy programowania deklaratywnego 06-DPPDLI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12), Wykład (grupa 1)
2024/SZ - Logika i programowanie w Prologu 06-S2NMI03-P07426:
Ćwiczenia (grupa 11), Ćwiczenia w sali komputerowej (grupa 11)
2024/SZ - Wstęp do matematyki 06-S1NMI01-P00194:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Wykład (grupa 1)
2024/SZ - Zastosowanie programów użytkowych w kształceniu 06-PZPKKI0:
Zajęcia laboratoryjne (grupa 11), Zajęcia laboratoryjne (grupa 12)
2025/SL - Elementy logiki i teorii mnogości 04-S3INK02-P02416:
Ćwiczenia (grupa 1), Ćwiczenia w sali komputerowej (grupa 1)
2025/SL - Elementy logiki i teorii mnogości 06-N3IN02-P02416:
Ćwiczenia (grupa 11), Ćwiczenia w sali komputerowej (grupa 11), Wykład (grupa 1)
2025/SL - Elementy logiki i teorii mnogości 06-S3IN02-P02416:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Ćwiczenia (grupa 13), Ćwiczenia (grupa 14), Ćwiczenia (grupa 15), Ćwiczenia w sali komputerowej (grupa 11), Ćwiczenia w sali komputerowej (grupa 12), Ćwiczenia w sali komputerowej (grupa 13), Ćwiczenia w sali komputerowej (grupa 14), Ćwiczenia w sali komputerowej (grupa 15)
2025/SL - Logika matematyczna dla nauczycieli 06-S1NMI02-F07402:
Ćwiczenia (grupa 11), Wykład (grupa 1)
2025/SZ - Logika i programowanie w Prologu 06-S2NMI03-P07426:
Ćwiczenia (grupa 11), Ćwiczenia w sali komputerowej (grupa 11), Wykład (grupa 1)
2025/SZ - Wstęp do matematyki 06-S1NMI01-P00194:
Ćwiczenia (grupa 11), Ćwiczenia (grupa 12), Wykład (grupa 1)
