 |
profesor w jednostce Instytut Informatyki
|
prof. dr hab.
Paweł Urzyczyn
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
Poniedziałki od 19 do ostatniego klienta, zdalnie
https://us02web.zoom.us/j/84593508534
termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych
Zainteresowania
Matematyczne podstawy informatyki, logika stosowana, teoria typów
Koordynowane przedmioty
2024Z - Logika i teoria typów 1000-2M13LTT
2024Z - Podstawy matematyki 1000-211bPM
2024Z - Złożoność obliczeniowa 1000-716ZOB
2024 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
2025Z - Podstawy matematyki 1000-211bPM
2025Z - Rachunek lambda 1000-2M02RL
2025 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
Prowadzone przedmioty
Imiona
Paweł Jacek
Nazwisko
Urzyczyn
Stopnie i tytuły
prof. dr hab.
PBN ID
5e709355878c28a0473a76ef
adres email jest ukryty 
