Zoom: https://us02web.zoom.us/j/84593508534?pwd=b1d6QXg0cHhCS3R1eXZkV3FlOTg0dz09
Moodle: https://moodle.mimuw.edu.pl/course/view.php?id=2224
Some example problems (aktualizacja wrzesień 2024)
Rachunek lambda
Reguły naturalnej dedukcji
Stare obrazki z roku 2022-23
Egzaminy pisemne z lat poprzednich.