To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

dr Jacek Chrząszcz

Stanowisko starszy wykładowca (dr)
Afiliacja Instytut Informatyki
Pokój 5710
Telefon 55-44-571
E-mail J.Chrzaszcz@mimuw.edu.pl
Strona www http://www.mimuw.edu.pl/~chrzaszcz
Zaintresowania Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
Konsultacje piątki 14:15 - 15:45 terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych