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 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

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 mapa serwisu USOSweb 7.1.0.0-7 (2024-10-21)