 |
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 2024/25: wtorki, 15:00-16:30 (w dni, w których odbywają się zajęcia dydaktyczne), pok. 2019
15.04.2025 r. konsultacje rozpoczną się o 15:30
29.04.2025 r. konsultacje nie odbędą się i zostaną zrealizowane w innym terminie.
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 - Logic and Set Theory 510-IS1-1LTM-25-ENG
2025 - Logika i teoria mnogości 510-IS1-1LTM-25
2025 - Metody konstruktywne w informatyce 510-IS1-3MKI-23
Prowadzone przedmioty
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
