 |
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
Prowadzone przedmioty
Imiona
Andrzej
Nazwisko
Tarlecki
Stopnie i tytuły
prof. dr hab.
PBN ID
5e709342878c28a0473a5db1
adres email jest ukryty 
