Uniwersytet w Białymstoku - Centralny System Uwierzytelniania
Strona główna
dr

Adam Grabowski

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

adiunkt w jednostce Wydział Informatyki

Terminy konsultacji dla studentów

w semestrze letnim 2023/24: środy 8:15-9:45 (w dni, w których odbywają się zajęcia dydaktyczne), pok. 2019
lub po wcześniejszym umówieniu przez email

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

Prowadzone przedmioty

Imiona
Adam
Nazwisko
Grabowski
Stopnie i tytuły
dr
Przejdź do planu
ul. Świerkowa 20B, 15-328 Białystok tel: +48 85 745 70 00 (Centrala) https://uwb.edu.pl kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)