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 Logika i teoria typów, 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 Rachunek lambda, II semestr 2017-18

Materiały do wykładu Teoria obliczeń, II semestr 2016-17.

Materiały do wykładu Matematyczne metody semantyki, II semestr 2012-13.

Materiały do wykładu Logika intuicjonistyczna, II semestr 2011-12