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
RDP 2015 in Warsaw

Zajęcia (Polish):


Wykład kursowy Podstawy matematyki, I rok informatyki, I semestr 2014-15.
Wykład kursowy ze złożoności obliczeniowej, III rok bioinformatyki, I semestr 2014-15.
Wykład monograficzny Logika i teoria typów, II 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
Archiwum
Niektore egzaminy z lat ubiegłych