Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna
dr

Jacek Chrząszcz

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

adiunkt w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

Środa 16:00-17:30

Zainteresowania

Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia

Koordynowane przedmioty

Prowadzone przedmioty

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

Przejdź do planu
Krakowskie Przedmieście 26/28
00-927 Warszawa
tel: +48 22 55 20 000 https://uw.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)