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