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: 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ó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
Wyszukiwarka
Podobne podstrony:
2015 Zadania dla studentów polskojezycznych na cwiczenia z antybiotykówwyklad z analizy matematycznej dla studentow na kierunku automatyka i robotyka aghCeny biletów kolejowych dla studentów na trasie Jelenia Góra Wrocław Głównyfilologia polska minimum programowe dla studentów MISH 2011 2012Równania różniczkowe zwyczajne (2005) AGH Wykład dla studentów na kierunku automatyka i robotykaOpracowanie strony WWW dla II Pracowni Fizycznej Wydziału Fizyki Uniwersytetu WarszawskiegoA dzisiaj kilka rad dla studentów 2 roku prawa zaocznego na UMCS w Lubliniefilologia polska minimum programowe dla studentów MISH 2006 2007Ceny biletów kolejowych dla studentów na trasie Jelenia Góra Poznań GłównyCeny biletów kolejowych dla studentów na pociąg IR Rudawy Jelenia Góra BiałystokWykrywacz Religijnej Manipulacji – program antywirusowy dla umysłuDla studentów administracjinotatek pl materiały dla studentów (repetytorium) sem1Napisz program liczacy pole i obwod kola na podstawie wprowadzonegowięcej podobnych podstron