Do ściągnięcia są następujące pliki (format: postscript spakowany UNIX-owym programem ,,gzip''):

slajdy.ps.gz (400 kB) - slajdy do wykładu w wersji 1/str.
slajdy-4.ps.gz (400 kB) - slajdy do wykładu w wersji 4/str.
def4.ps.gz (110 kB) - logika domniemań - slajdy do wykładu
cwdef.ps.gz (30 kB) - zadania z logiki domnieman (i algorytm)
diag4.ps.gz (50 kB) - system diagnostyczny oparty na logice domniemań - slajdy do wykładu
dij4.ps.gz (110 kB) - semantyka Dijkstry - slajdy do wykładu
kb4.ps.gz (1,6 kb) dedukcyjne bazy wiedzy - slajdy
bazad.ps.gz (20 kB) - przykładowe zadania egzaminacyjne
rozkład zajęć w 2003r.
wyniki egzaminu z 10 i 17.03 2003r (poprawione) i 15.04 excel lub html

Ostatnia aktualizacja: 15 kwietnia 2003