Wykład :

1. Wstęp. Semantyka operacyjna (257 kB) - slajdy do wykładu w formacie ps
2. Semantyka denotacyjna PJP (245 kB) - slajdy do wykładu w formacie ps
3. Semantyka aksjomatyczna PJP (255 kB) - slajdy do wykładu w formacie ps
4. Semantyka denotacyjna i aksjomatyczna bloku. (235 kB) - slajdy do wykładu w formacie ps
5. Semantyka denotacyjna procedur (226 kB) - slajdy do wykładu w formacie ps
6. Semantyka procedur - parametry (225 kB) - slajdy do wykładu w formacie ps
7. Semantyka denotacyjna wejście-wyjście (216 kB) - slajdy do wykładu w formacie ps
8. ćwiczenia (159 kB)
9. ksiazka H. Riis Nielson, F. Nielson. (450 kB)

Egzaminy:

• zadania z egzaminu 2002
• zadania z egzaminu 2003

pliki zródłowe