 |
profesor w jednostce Instytut Informatyki
|
prof. dr hab.
Paweł Urzyczyn
Imiona
Paweł Jacek
Nazwisko
Urzyczyn
Stopnie i tytuły
prof. dr hab.
PBN ID
1739826
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