Daria Walukiewicz-Chrząszcz

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

adiunkt w jednostce Instytut Informatyki

Czwartek 14:15 - 15:45

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

Rachunek lambda, przepisywanie termów

2024Z - Logika i teoria typów 1000-2M13LTT: Ćwiczenia (grupa 1)

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

2024Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 7)

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

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

2024L - Języki, automaty i obliczenia 1000-214bJAO: Ćwiczenia (grupa 3)

2024L - Logika dla informatyków 1000-217bLOG: Ćwiczenia (grupa 1), Laboratorium (grupa 3), Laboratorium (grupa 4)

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

2024L - Zaawansowane programowanie funkcyjne 1000-2M11ZPF: Laboratorium (grupa 1), Laboratorium (grupa 2), Wykład (grupa 1)

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

2025Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 7)

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

2025Z - Rachunek lambda 1000-2M02RL: Ćwiczenia (grupa 1)

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

2025L - Języki, automaty i obliczenia 1000-214bJAO: Ćwiczenia (grupa 3)

2025L - Logika dla informatyków 1000-217bLOG: Ćwiczenia (grupa 3)

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

2025L - Zaawansowane programowanie funkcyjne 1000-2M11ZPF: Laboratorium (grupa 1), Wykład (grupa 1)

Imiona

Daria Monika

Nazwisko

Walukiewicz-Chrząszcz

Stopnie i tytuły

PBN ID

3929366

55-44-571

Banacha 2, 02-097 Warszawa, pokój 5710

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

adres email jest ukryty

wyślij wiadomość do użytkownika