![]() |
profesor w jednostce Instytut Informatyki
|

prof. dr hab.
Andrzej Tarlecki
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
piątki: 10:15 - 12:15
konsultacje obowiązują w czasie trwania zajęć dydaktycznych
Zainteresowania
Matematyczne podstawy inżynierii oprogramowania; logika, algebra i teoria kategorii w podstawach informatyki
Koordynowane przedmioty
2022Z - Semantyka i weryfikacja programów 1000-215bSWP
2022Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI