Serwisy internetowe Uniwersytetu Warszawskiego | USOSownia - uniwersyteckie forum USOSoweNie jesteś zalogowany | zaloguj się
dr

Jacek Chrząszcz

Imiona
Jacek Ludwik
Nazwisko
Chrząszcz
Stopnie i tytuły
dr
55-44-571
Banacha 2, 02-097 Warszawa, pokój 5710

plan zajęć
Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

Starszy wykładowca (dr) w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

piątki 14:15 - 15:45

terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych

Zainteresowania

Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia

Koordynowane przedmioty