 |
adiunkt w jednostce Instytut Informatyki
|
dr
Jacek Chrząszcz
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
W semestrze letnim 2024/25 zapraszam na konsultacje w czwartki w godz 14:15-15:45 w moim biurze 5710.
Ale bardzo proszę o informację np. drogą mailową o zamiarze przyjścia - jeśli nikt się nie zapowie, będę czekać tylko kwadrans akademicki :)
Gdybym musiał odwołać albo przenieść konsultacje, to informację o tym umieszczę pod adresem
https://www.mimuw.edu.pl/~chrzaszcz/konsultacje.html
Zainteresowania
Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
Koordynowane przedmioty
2024Z - Podstawy matematyki 1000-211bPM
2024Z - Programowanie funkcyjne w OCamlu 1000-2M24PFO
2024 - Języki programowania 1000-2D13JP
2025Z - Podstawy matematyki 1000-211bPM
2025Z - Programowanie funkcyjne w OCamlu 1000-2M24PFO
2025 - Języki programowania 1000-2D13JP
Prowadzone przedmioty
2024Z - Metody realizacji języków programowania 1000-217bMRJ:
Ćwiczenia (grupa 2), Laboratorium (grupa 6)
2024L - Narzędzia programistyczne w Pythonie wspierające analizę danych 1000-1M20NPD:
Laboratorium (grupa 3)
2025Z - Metody realizacji języków programowania 1000-217bMRJ:
Ćwiczenia (grupa 2), Laboratorium (grupa 2)
Imiona
Jacek Ludwik
Nazwisko
Chrząszcz
Stopnie i tytuły
dr
PBN ID
3929001
adres email jest ukryty 
