Logika intuicjonistyczna

Wyklad monograficzny

semestr zimowy 2004/5

Materialy pomocnicze do wykladu (PostScript)
M.H. Sorensen, P. Urzyczyn,
Lectures on the Curry-Howard Isomorphism,
Elsevier, 2005 (?)
Wersja robocza, nie przeznaczona do rozpowszechniania

Rozdzial 2 (intuicjonistyczny rachunek zdan)
Rozdzial 3 (rachunek lambda z typami prostymi)
Rozdzial 4 (izomorfizm Curry'ego-Howarda)
Rozdzial 7 (rachunek sekwentow)
Rozdzial 8 (logika pierwszego rzedu)

Materialy dodatkowe:

Rozdzial 1 (beztypowy rachunek lambda)
Wyklad z rachunku lambda po polsku

Prosze o zglaszanie bledow i uwag do tekstu poczta elektroniczna.
Za poprawki dziekuje Pani Agnieszce Kozubek.
Za poprawke drugiego rzedu dziekuje Panu Piotrowi Majewskiemu.
P.U.