Politechnika Poznańska Europejski System Transferu Punktów
Wydział Informatyki i Zarządzania Karta opisu przedmiotu
strona 1 z 1
Tytuł
Kod
Programowanie deklaratywne
101051122101051516
Kierunek
Rok / Semestr
Informatyka
1 / 2
Specjalność
Przedmiot
-
obowiązkowy
Godziny
Liczba punktów
Wykłady:
1
Ćwiczenia:
Laboratoria:
Projekty / seminaria:
3
Prowadzący:
dr inż. A. Michalski
Instytut Informatyki
60-965 Poznań, ul. Piotrowo 2
tel. (0-61) 665-2925, fax: (0-61) 877 1525
e-mail: Artur.Michalski@cs.put.poznan.pl
Wydział:
Wydział Informatyki i Zarządzania
ul.Strzelecka 11, 60-965 Poznań,tel.(061) 665 34 20
e-mail: office_dcsmf@put.poznan.pl
Miejsce przedmiotu w programie studiów:
Przedmiot obowiązkowy na kierunku Informatyka.
Cele:
Celem przedmiotu jest zapoznanie studentów z paradygmatem programowania deklaratywnego na przykładzie języka Prolog. Student powinien opanować zarówno teoretyczne, jaki i praktyczne podstawy programowania deklaratywnego.
Opis przedmiotu:
Program przedmiotu obejmuje następujące zagadnienia: podstawowe pojęcia logiki w języku programowania Prolog; mechanizm rekurencji w definiowaniu klauzul; proceduralna i deklaratywna interpretacja programu prologowego; mechanizm zadawania pytań; podstawowe formy deklaratywnej reprezentacji danych; mechanizm unifikacji (dopasowania), strategia wnioskowania w Prologu - porządek klauzul i celów; reprezentacja listowa, operatory i wyrażenia arytmetyczne; złożone struktury danych a programowanie deklaratywne abstrakcyjne struktury danych w Prologu; mechanizmy sterowania wnioskowaniem w Prologu - mechanizm nawrotów, mechanizm odcięć, problem negacji; operacje wejścia/wyjścia w Prologu; przetwarzanie plików termów i manipulowanie znakami; procedury systemowe w Prologu - testowanie termów, kompozycja i dekompozycja termu, predykaty bagof, setof i findall; zasady programowania deklaratywnego; styl i techniki programowania w Prologu.
Wymagane wiadomości:
Logika formalna (obliczeniowa) i teoria mnogości, rachunek zdań i rachunek predykatów I rzędu, algebra Boole"a.
Forma prowadzonych zajęć:
Wykład + laboratorium.
Metody oceny:
Test semestralny z wykładu. Zadania praktyczne z programowania przy komputerze.
Bibliografia:
1. Prolog. Programowanie, W.F. Clocksin, C.S. Mellish, Helion, Gliwice, 2003
2. Prolog - programming for AI, I. Bratko, Addison-Wesley, 1990
3. Logika w rozwiązywaniu zadań, R.A. Kowalski, WNT, Warszawa, 1989
4. Programowanie z bazą wiedzy, E.C. Tyugu, WNT, Warszawa
5. Prolog, F. Kluźniak, S. Szpakowicz, WNT, Warszawa, 1983
6. Micro-Prolog, K.L. Clark, F.G. McGabe, WNT, Warszawa, 1985
teemonek