Programowanie w logice
Wykład monograficzny dla studentów III roku ZSI (30
h)
semestr zimowy roku akademickiego
2003/2004
Wykładowca
mgr Mirosława Miłkowska (email: mikis@mimuw.edu.pl)
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ów
Wszystkie 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