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 Rachunek lambda, II semestr 2019-20

Wykład Podstawy matematyki, I rok informatyki.

Materiały do wykładu Złożoność obliczeniowa, III rok bioinformatyki.

Materiały do wykładu z logiki i teorii typów, II semestr 2018-19.

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