Rachunek lambda

Wykład monograficzny
semestr letni 2019-20


Egzamin: zadania i rozwiązania.

Egzamin poprawkowy zadania i rozwiązania.


Comments and questions can be posted here: https://chat.mimuw.edu.pl/group/AcaDoATMcre3xbvov


Materiały do wykładu (zaktualizowane we wrzesniu 2020)
Zadania (w tym zadania z egzaminów 2002-2020, zaktualizowane we wrzesniu 2020)

Obrazki do wykładów: 28 lutego pokazwydruk. 6 marca pokazwydruk, 13 marca pokazwydruk, 20 marca pokazwydruk, 27 marca pokazwydruk, 3 kwietnia pokazwydruk, 8 kwietnia pokazwydruk, 17 kwietnia pokazwydruk, 24 kwietnia pokazwydruk, 4 maja pokazwydruk, 15 maja pokazwydruk, dodatek o zupelnosci w PSPACE), 22 maja pokazwydruk, 29 maja pokazwydruk, 5 czerwca pokazwydruk.

Proszę o zgłaszanie błędów w notatkach na adres urzy(małpa)mimuw.edu.pl.
Za poprawki dziękuję Pani Małgorzacie Maciejewskiej, Panom Tomaszowi Domańskiemu, Stanisławowi Findeisenowi, Krzysztofowi Gerasowi, Danielowi Hansowi, Szczepanowi Hummelowi, Wojciechowi Jaworskiemu, Szymonowi Kitowskiemu, Michałowi Kotowskiemu, Radoslawowi Kujawie, Michałowi Misiakowi, Filipowi Murlakowi, Łukaszowi Osipiukowi, Pawłowi Parysowi, Jakubowi Pochrybniakowi, Michałowi Rutkowskiemu, Aleksemu Schubertowi, Adamowi Slaskiemu i Mateuszowi Zakrzewskiemu.
P. Urzyczyn


Stare obrazki z roku 2017-18.