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)
Photograph
Piton de la Fournaise
Mont Puget
Official home page

TLCA home page
RDP 2015 in Warsaw

Zajęcia (Polish):


Wykład monograficzny Logika i teoria typów, II semestr 2013-14.
Wykład kursowy Podstawy matematyki, I rok informatyki, I semestr 2013-14.
Materiały do wykładu Rachunek lambda, I semestr 2013-14
Materiały do wykładu Matematyczne metody semantyki, II semestr 2012-13.
Materiały do wykładu Teoria obliczeń, I semestr 2012-13
Materiały do wykładu monograficznego Logika intuicjonistyczna, II semestr 2011-12
Materiały do wykładu kursowego ze złożoności obliczeniowej, III rok bioinformatyki, I semestr 2010-11.
Archiwum
Niektore egzaminy z lat ubiegłych