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:00-12:00
Zainteresowania
Matematyczne podstawy inżynierii oprogramowania; logika, algebra i teoria kategorii w podstawach informatyki
Koordynowane przedmioty
2023Z - Semantyka i weryfikacja programów 1000-215bSWP
2023Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI
Prowadzone przedmioty
Imiona
Andrzej
Nazwisko
Tarlecki
Stopnie i tytuły
prof. dr hab.
PBN ID
5e709342878c28a0473a5db1