 |
adiunkt w jednostce Wydział Informatyki
|
dr
Adam Grabowski
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
W semestrze letnim 2025/26 (w dni, w których odbywają się zajęcia dydaktyczne):
- piątki, 9:15-9:45, pok. 1008,
- piątki, 12:00-12:45, pok. 1008
lub inny termin po wcześniejszym umówieniu przez email.
EDIT: W związku ze zmianą planu zajęć po 24.04.2026 r. konsultacje będą odbywać się w piątki, 10:15-11:45, pok. 2019.
W semestrze zimowym 2025/26:
- poniedziałki, 9:45-10:30 (w dni, w których odbywają się zajęcia dydaktyczne), pok. 2019
- czwartki, tygodnie nieparzyste, 9:45-11:15, pok. 2019
(konkretnie: 16.10, 30.10, 13.11, 27.11.2025; 22.01.2026)
lub inny termin po wcześniejszym umówieniu przez email.
Wilno: piątki, tygodnie parzyste, 13:30-15:00, pok. 210
Zainteresowania
komputerowa formalizacja matematyki, rozwój systemu Mizar i Mizar Mathematical Library, logika matematyczna i teoria krat, zbiory rozmyte i zbiory przybliżone
Koordynowane przedmioty
2023 - Elementy logiki i teorii mnogości 400-IS1-1LTM
2023 - Logika i teoria mnogości 510-IS1-1PLTM-23
2023 - Podstawy programowania strukturalnego 400-IS1-1PRS
2023 - Pracownia dyplomowa 1 510-IS1-3PD1
2023 - Pracownia dyplomowa 2 510-IS1-3PD2
2023 - Seminarium dyplomowe 2 510-IS1-3SD2
2024 - Elementy logiki i teorii mnogości 400-IS1-1LTM
2024 - Logic and Set Theory 510-IS1-1PLTM-23-ENG
2024 - Logika i teoria mnogości 510-IS1-1PLTM-23
2024 - Podstawy programowania strukturalnego 400-IS1-1PRS
2024 - Pracownia dyplomowa 1 510-IS1-3PD1
2024 - Pracownia dyplomowa 2 510-IS1-3PD2
2024 - Seminarium dyplomowe 2 510-IS1-3SD2
2025 - Algorytmy i struktury danych I 540-IS1-2AS1
2025 - Elementy logiki i teorii mnogości 540-IS1-1LTM
2025 - Logic and Set Theory 510-IS1-1LTM-25-ENG
2025 - Logika i teoria mnogości 510-IS1-1LTM-25
2025 - Podstawy programowania strukturalnego 540-IS1-1PRS
2025 - Pracownia dyplomowa 1 510-IS1-3PD1-23
2025 - Pracownia dyplomowa 2 510-IS1-3PD2-23
2025 - Seminarium dyplomowe 2 510-IS1-3SD2-23
Prowadzone przedmioty
2024 - Programowanie w języku Java 510-IS1-2PZ-23:
Laboratorium (grupa 1), Laboratorium (grupa 2), Laboratorium (grupa 3)
2023 - Logika i teoria mnogości 510-IS1-1PLTM-23:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 4), Ćwiczenia (grupa 6), Wykład (grupa 1)
2023 - Programowanie zaawansowane 510-IS1-2PZ:
Laboratorium (grupa 2), Laboratorium (grupa 3), Laboratorium (grupa 6)
Imiona
Adam
Nazwisko
Grabowski
Stopnie i tytuły
dr
adres email jest ukryty 
Dostępne publicznie plany użytkownika:
Przejdź do planu
