Programowanie w logice dla studentów ZSI na Uniwersytecie Warszawskim




Programowanie w logice

Wykład monograficzny dla studentów III roku ZSI (30
h)

semestr zimowy roku akademickiego
2003/2004



Cele i zakres
wykładu
Wykładowca
Notatki z
wykładów
Literatura
Egzamin



Wykładowcamgr Mirosława Miłkowska (email: [e-mail])  
Wykład:

wtorki, godz. 18:45 - 20:15, sala 2070 Konsultacje: wtorki,
godz. 16:30 - 18:00, p. 4050  


Harmonogram
wykładów 





1

2

3

4

5

6

7

8

9

10


7 X

14 X

21 X

28 X

4 XI

18 XI

25 XI

2 XII

9 XII

16 XII





11

12

13

14

15


6 I 2004

13 I

20 I

27 I

3 II
Początek


Notatki z wykładówWszystkie wykłady są dostępne w
postaci pliku postscriptowego skompresowanego programem gzip.
Notatki z wykładów (w postaci papierowej) są również dostępne w bibliotece
wydziałowej (teczka nr 3).

Wykład
1 (Wstęp. Teorie pierwszego rzędu, programy w języku logiki)
Wykład
2 (Przykłady programów w logice)
Wykład
3 (Algorytm uzgadniania)
Wykład
4 (SLD-rezolucja)
Wykład
5 (SLD-rezolucja - ćwiczenia)
Wykład
6 (Semantyka programów w logice)
Wykład
7 (Semantyka programów w logice II, odcięcie)
Wykład
8 (Wyprowadzanie negatywnych informacji)
Wykład
9 (Dopełnienie programu, SLDNF-rezolucja)
Wykład
10 (SLDNF-rezolucja - ćwiczenia)
Wykład
11 (Sterowanie w programowaniu w logice, odcięcie)
Wykład
12 (Język programowania Prolog)
Wykład
13 (Programowanie w Prologu, cz.1)
Wykład
14 (Programowanie w Prologu, cz.2)
Wykład
15 (Programowanie w Prologu, cz.3) Początek


Literatura

Wprowadzenie do programowania w logice

K.R.Apt - From Logic Programming to Prolog. 1997.
J.W.Lloyd - Foundations of Logic Programming. Springer, Berlin, wyd. 2,
1987.
U.Nilsson, J.Małuszyński - Logic, Programming and Prolog. John Wiley
& Sons, 1990. Logic,
Programming and Prolog.
K.R.Apt - Logic Programming. W: J. van Leeuwen, ed. Handbook of
Theoretical Computer Science. 1990, vol. B.
K.Doets - From Logic to Logic Programming. MIT, 1994.

Programowanie w Prologu

L.Sterling, E.Shapiro - The Art of Prolog. MIT Press, wyd.2, 1994.
W.F.Clocksin, C.S.Mellish - Programming in Prolog. Springer,
1994.(Prolog. Programowanie. Wyd. Helion, 2003).
F.Kluzniak, S.Szpakowicz - Prolog for Programmers. Academic Press, 1985.

SICStus Prolog User's Manual. SICStus Prolog
Początek


Egzaminy z poprzednich lat
Egzamin'98
(Treść egzaminu z roku 1998.)
Egzamin'99
(Treść egzaminu z roku 1999.)

Egzamin'2000
(Treść egzaminu z roku 2000.)

Egzamin'2001
(Treść egzaminu z roku 2001.)

Egzamin'2002
(Treść egzaminu z roku 2002.)
Początek

Ostatnia aktualizacja: 03.02.2004