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 zimowym 2024/25: wtorki, 9:00-9:45 i środy, 13:45-14:30 (w dni, w których odbywają się zajęcia dydaktyczne), pok. 2019
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
2022 - Elements of Logic and Set Theory 420-IS1-1PLTM-ENG
2022 - Elementy logiki i teorii mnogości 400-IS1-1LTM
2022 - Metody konstruktywne w informatyce 420-IS1-3MKI
2022 - Podstawy logiki i teorii mnogości 420-IS1-1PLTM
2022 - Podstawy programowania strukturalnego 400-IS1-1PRS
2022 - Pracownia magisterska 1 420-IS2-2PM1
2022 - Pracownia magisterska 2 420-IS2-2PM2
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 - Seminarium dyplomowe 2 510-IS1-3SD2
Prowadzone przedmioty
2022 - Podstawy logiki i teorii mnogości 420-IS1-1PLTM:
Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Wykład (grupa 1)
2022 - Programowanie zaawansowane 420-IS1-2PZ:
Laboratorium (grupa 3), Laboratorium (grupa 4), Laboratorium (grupa 5)
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
Dostępne publicznie plany użytkownika:
Przejdź do planu