Paweł Urzyczyn
address:
Instytut Informatyki UW
Banacha 2, 02-097 Warszawa, Poland (office #5700)
phone: (+48-22) 55-44-570
fax: (+48-22) 55-444-00
e-mail: urzy@mimuw.edu.pl
Papers (DBLP)
Mairie d'Urzy
Piton de la Fournaise
Mont Puget
Official home page
TLCA home page
Zajęcia (Polish):
Wykład Rachunek lambda,
II semestr 2018-19
Materiały do wykładu Podstawy matematyki,
I rok informatyki.
Materiały do wykładu ze złożoności obliczeniowej,
III rok bioinformatyki.
Materiały do wykładu Teoria obliczeń,
II semestr 2016-17.
Materiały do wykładu Logika i teoria typów,
II semestr 2015-16.
Materiały do wykładu Matematyczne metody
semantyki, II semestr 2012-13.
Materiały do wykładu monograficznego
Logika intuicjonistyczna,
II semestr 2011-12
Archiwum
Niektore egzaminy z lat ubiegłych