PROGRAMOWANIE DEKLARATYWNE

Państwowa WyŜsza Szkoła Zawodowa
w Gnieźnie
Europejski System Transferu Punktów - ECTS
Instytut Informatyki
Karta opisu przedmiotu
Tytuł:
Kod
PROGRAMOWANIE DEKLARATYWNE
Kierunek studiów:
Rok/Semestr
INFORMATYKA
II/4
Specjalność:
Przedmiot
Systemy informatyczne
Obowiązkowy
Godziny/tydzień
Wykłady:
1h
Liczba punktów
Ćwiczenia: -
Laboratoria:
1h
Projekty/seminarium: -
3
Prowadzący: dr inŜ. Artur Michalski
e-mail: [email protected]
tel. 061 665 2925
Instytut: Informatyki
Cele:
Studenci powinni opanować umiejętność analizy i projektowania programu w kategoriach deklaratywnego paradygmatu programowania. Teoretyczne, jak i praktyczne aspekty takiego programowania, pisanie i uruchamianie prostych programów, zostaną przedstawione na przykładzie języka
Prolog.
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 (uzgadniania), 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 typu termów, kompozycja i dekompozycja termu, predykaty bagof, setof i findall; zasady programowania deklaratywnego; styl i techniki programowania w Prologu.
Wymagane wiadomości:
Teoria mnogości, rachunek zdań i rachunek predykatów, algebra Boole’a.
Forma prowadzonych zajęć:
Wykład, ćwiczenia laboratoryjne z programowania.
http://www.pwsz-gniezno.edu.pl
Metody oceny:
Wykład: końcowy test pisemny. Laboratoria: indywidualne zadania programistyczne.
Bibliografia:
1.
2.
3.
4.
Clocksin W.F., Mellish C.S., Prolog. Programowanie, Helion, Gliwice 2003.
Kluźniak F., Szpakowicz S., Prolog, WNT, Warszawa, 1983.
Ben-Ari M., Logika matematyczna w informatyce. WNT, 2005
Kowalski R.A., Logika w rozwiązywaniu zadań, WNT, Warszawa 1989
W bibliografii czcionką pogrubioną zaznaczono pozycje podstawowe, pozostałe są uzupełniające
21 / 72