Zoom: https://us02web.zoom.us/j/84593508534?pwd=b1d6QXg0cHhCS3R1eXZkV3FlOTg0dz09
Moodle: https://moodle.mimuw.edu.pl/course/view.php?id=1488
Some example problems (aktualizacja 7 kwietnia 2021)
Rachunek lambda
Reguły naturalnej dedukcji
System lambda P
Rachunek konstrukcji
Stare obrazki z roku 2020-21
Egzaminy pisemne z lat poprzednich.