![]() |
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
wtorki: 11:30- 13:00
termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych
Zainteresowania
Matematyczne podstawy informatyki, logika stosowana, teoria typów
Koordynowane przedmioty
2020Z - Logika i teoria typów 1000-2M13LTT
2020Z - Podstawy matematyki 1000-211bPM
2020Z - Złożoność obliczeniowa 1000-716ZOB
2020 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT