Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Pawel Urzyczyn

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):

Wyklad monograficzny Logika liniowa II semestr 2005-06

Wyklad kursowy ze wstepu do teorii mnogosci, I rok informatyki (studia dzienne), I semestr 2005/06

Seminarium magisterskie: Programowanie funkcyjne i logika.

Materialy do wykladu monograficznego Rachunek lambda I semestr 2005-06

Materialy do wykladu kursowego z logiki, I rok informatyki (studia dzienne), II semestr 2004/05

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

Notatki do wykladu monograficznego: Teoretyczne podstawy systemów wspomagajacych dowodzenie, I semestr 2001/02

Notatki do wykladu "Przepisywanie termow", I semestr 2000/01

Niektore egzaminy z lat ubieglych