Oficjalny program
wykładu
Literatura uzupełniająca
1. J.
Tiuryn , "Wstęp do teorii mnogości i logiki", skrypt dla studentów UW, 1997.
2. P.
Urzyczyn , "Logika", skrypt dla studentów UW.
3.
J. Tiuryn, J. Tyszkiewicz, P. Urzyczyn,
"Logika dla informatyków".
4. I.A. Ławrow, Ł.A. Maksimowa, ,,Zadania z teorii mnogości,
logiki matematycznej i teorii algorytmów, PWN 2004.
Egzamin z 16.05.2003 (
.dvi ,
.ps ,
.pdf
)
Egzamin z 28.06.2004 (
.dvi ,
.ps ,
.pdf
)
Egzamin z 23.06.2005 (
.dvi ,
.ps ,
.pdf
)
Egzamin z 19.06.2006 (
.dvi ,
.ps ,
.pdf )
Egzamin z 19.06.2007 (
.pdf )
Egzamin z 19.06.2009 (
.pdf )
Egzamin z 25.06.2010 (
.pdf )
Na egzaminie udostępniane są
aksjomaty i reguły dowodzenia systemów: hilbertowskiego i
gentzenowskiego.
Ostatnia modyfikacja 1.09.2010