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
USOS ID
282
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