 |
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
2024Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI
2024 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW
2025Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI
Prowadzone przedmioty
2024Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI:
Ćwiczenia (grupa 1), Wykład (grupa 1)
2024 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW:
Seminarium badawcze (grupa 1)
Imiona
Andrzej
Nazwisko
Tarlecki
Stopnie i tytuły
prof. dr hab.
PBN ID
5e709342878c28a0473a5db1
adres email jest ukryty 
