Paweł Urzyczyn

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

Wykład monograficzny Teoria obliczeń, II semestr 2016-17.

Wykład kursowy Podstawy matematyki, I rok informatyki, I semestr 2016-17.

Wykład kursowy ze złożoności obliczeniowej, III rok bioinformatyki, I semestr 2016-17.

Wykład monograficzny Rachunek lambda, I semestr 2015-16

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