Jacek Chrząszcz

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

adiunkt w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

W semestrze letnim 2025/26 zapraszam na konsultacje w środy 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
Można też próbować umówić się ze mną na inny termin.

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 - Kurs programowania w Pythonie 1000-213bPYT: Laboratorium (grupa 4)

2024Z - Metody realizacji języków programowania 1000-217bMRJ: Ćwiczenia (grupa 2), Laboratorium (grupa 6)

2024Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 9), Wykład (grupa 2)

2024Z - Programowanie funkcyjne w OCamlu 1000-2M24PFO: Laboratorium (grupa 1)

2024Z - Wstęp do programowania 1000-211bWPI: Ćwiczenia (grupa 6)

2024L - Architektura komputerów i systemy operacyjne 1000-212bAKSO: Laboratorium (grupa 7)

2024L - Logika dla informatyków 1000-217bLOG: Laboratorium (grupa 1), Laboratorium (grupa 5)

2024L - Narzędzia programistyczne w Pythonie wspierające analizę danych 1000-1M20NPD: Laboratorium (grupa 3)

2024L - Programowanie funkcyjne 1000-2M24PFU: Laboratorium (grupa 3)

2024 - Języki programowania 1000-2D13JP: Seminarium magisterskie (grupa 1)

2025Z - Metody realizacji języków programowania 1000-217bMRJ: Ćwiczenia (grupa 2), Laboratorium (grupa 2)

2025Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 1), Wykład (grupa 2)

2025Z - Programowanie funkcyjne w OCamlu 1000-2M24PFO: Laboratorium (grupa 1)

2025Z - Wstęp do programowania 1000-211bWPI: Ćwiczenia (grupa 5)

2025L - Architektura komputerów i systemy operacyjne 1000-212bAKSO: Laboratorium (grupa 10)

2025L - Logika dla informatyków 1000-217bLOG: Laboratorium (grupa 1), Laboratorium (grupa 2)

2025L - Programowanie funkcyjne 1000-2M24PFU: Laboratorium (grupa 3)

2025L - Programowanie obiektowe 1000-212cPO: Laboratorium (grupa 5)

2025 - Języki programowania 1000-2D13JP: Seminarium magisterskie (grupa 1)

Imiona

Jacek Ludwik

Nazwisko

Chrząszcz

Stopnie i tytuły

PBN ID

3929001

55-44-571

Banacha 2, 02-097 Warszawa (Ochota), Polska, pokój 5710

http://www.mimuw.edu.pl/~chrzaszcz

https://orcid.org/0000000319137421

adres email jest ukryty

wyślij wiadomość do użytkownika

ŚR