Programowanie w logice
Przedmiot obieralny stały
dla studentów informatyki studiów dziennych
Wykład monograficzny z ćwiczeniami (pracownią programowania)
(30 h + 30 h)
semestr zimowy roku akademickiego 2010/2011
Wykładowca
Wykładowca: dr Mirosława Miłkowska (email: M.Milkowska@mimuw.edu.pl)
Konsultacje: wtorki, 16:00 - 17:30, p. 4370
Wykład: wtorki, 12:15 -
13:45, sala 4070
Ćwiczenia: dr Mirosława Miłkowska (email: M.Milkowska@mimuw.edu.pl)
Ćwiczenia: wtorki, 14:15 - 15:45, sala 3044 (lab)
Początek
Notatki z wykładów
Wszystkie wykłady są dostępne w postaci pliku w formacie pdf.
Materiały do wykładów i ćwiczeń są dostępne na moodle'u:
Materiały
-
Wykład 1 (Wprowadzenie do programowania w języku logiki)
-
Wykład 2
(Teorie pierwszego rzędu,
programy w języku logiki)
Wykład 3 (Podstawienia, algorytm uzgadniania)
Wykład 4 (SLD-rezolucja)
Wykład 5 (Sterowanie w programowaniu w logice)
Wykład 6 (Deklaratywna semantyka programów w logice, poprawność SLD-rezolucji)
Wykład 7 (Pełność SLD-rezolucji)
Wykład 7, dodatek (Dowód pełności SLD-rezolucji)
Wykład 8 (Wyprowadzanie negatywnych
informacji)
Wykład 9 (Negacja w programowaniu w logice)
Wykład 10 (Deklaratywna lokalizacja błędów, weryfikacja programów w logice)
Wykład 11 (CLP: programowanie w logice z więzami)
Wykład 12 (Równoległość w programowaniu w logice)
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, 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
-
Podręczniki do logiki
- M.Ben-Ari - Logika matematyczna w informatyce, WNT, 2004.
Początek
Grafik zajęć
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Wykład |
5.10
|
12.10
|
19.10
|
26.10
|
2.11
|
9.11
|
16.11
|
23.11
|
30.11
|
7.12
|
14.12
|
21.12
|
4.01
|
11.01
|
18.01
|
Początek
Kryterium zaliczenia przedmiotu
Początek
Pracownia programowania w logice
Grupy laboratoryjne
Laboratorium: dr Mirosława Miłkowska (email: M.Milkowska@mimuw.edu.pl)
Laboratorium: środy, 17:00-18:30, lab. 3043
Materiały pomocnicze do pracowni programowania
Początek
Ostatnia aktualizacja: 22.10.2010