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)
Pliki na 20 i 27 listopada: translacja.pdf i cps.pdf
Plik na 4 grudnia: rachunek sekwentów
Plik na 11 grudnia: logika liniowa
Egzaminy pisemne z lat poprzednich.