Logika i teoria typów

Semestr zimowy 2024/25

Wykład zdalny, ćwiczenia stacjonarne


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

Pliki na 20 listopada: translacja.pdf i cps.pdf


Stare obrazki z roku 2022-23


Egzaminy  pisemne z lat poprzednich.