Pawel 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
Ftp-able papers
Photograph
Another photograph
Yet another (obsolete)
Piton de la Fournaise
Mont Puget
Official home page
TLCA home page
TLCA 2001
ETAPS 2003
Zajecia (Polish):
Egzamin z logiki intuicjonistycznej,
10 czerwca 2008
Wyklad kursowy Podstawy matematyki,
I rok informatyki (studia dzienne), I semestr 2007-08.
Wyklad monograficzny z rachunku lambda
I semestr 2007-08
Materialy do wykladu monograficznego Teoria obliczen
II semestr 2006-07
Seminarium magisterskie:
Programowanie funkcyjne i logika.
Materialy do wykladu monograficznego
Logika liniowa
II semestr 2005-06
Lektura monograficzna:
Logika i obliczenia: Izomorfizm Curry'ego-Howarda, II semestr 2004/05
Materialy do wykladu monograficznego:
Logika intuicjonistyczna, I semestr 2004/05
Materialy do wykladu kursowego
Jezyki, automaty i obliczenia, III rok informatyki (studia dzienne),
I semestr 2002/03
Materialy archiwalne z wykladu kursowego
ze
wstepu do teorii mnogosci, I rok informatyki (studia dzienne).
Materialy archiwalne z wykladu kursowego
z
logiki, I rok informatyki (studia dzienne).
Notatki do wykladu
"Przepisywanie termow", I semestr 2000/01
Niektore egzaminy z lat ubieglych