Przedmiot: Języki i paradygmaty programowania
Forma zajęć: Laboratorium
Prowadzący: dr inż. Barbara Fryc
Katedra Podstaw Informatyki (pok. 135)
E-mail:
Telefon:
8661132
Tematyka
Lp. Treści kształcenia realizowane w ramach ćwiczeń
Liczba godz.
ST
L1 PROLOG: wprowadzenie, obiekty i relacje, fakty, zapytania proste i złożone, zmienne.
2
L2 PROLOG: reguły, omówienie składni języka, operatory, równość i unifikacja, obliczenia
arytmetyczne, spełnianie celu oraz koniunkcji celów, nawracanie, unifikacja termów
2
L3
PROLOG: struktury danych, listy (podstawowe algorytmy łączenie, dodawanie, znajdowanie
elementu maksymalnego, długość listy, znajdowanie podlisty itp.), przeszukiwanie
rekurencyjne, zastosowanie akumulatora
3
L4 PROLOG: nawracanie i odcięcie, generowanie wielu rozwiązań, odcięcie (predykat fail),
śledzenie i punkty kontrolne
1
L5 PROLOG: omówienie standardowych programów, wieże Hanoi, algorytmy sortowania ,
problem 8 królowych, użycie bazy danych, różniczkowanie symboliczne
2
L6 PROLOG: przejście z rachunku predykatów na kod źródłowy w Prologu, postać klauzulowa,
zapis klauzul, rezolucja i dowodzenie twierdzeń (klauzule Horna)
2
L7 Zaliczenie przedmiotu – kolokwium
1
L8 Omówienie środowiska Lispbox, LISP: elementy języka, EVAL, Set Quantity – setq i setf
1
L9 LISP: notacja lambda, funkcje matematyczne i funkcje-podprogramy, mapowanie funkcji
2
L10 LISP: listy – przydatne funkcje, porównanie kodu źródłowego w Lispie i Prologu
2
L11 LISP: funkcje logiczne, instrukcje warunkowe – IF, WHEN, UNLESS, CASE, COND
2
L12 LISP: rekursja a iteracja, prezentacja standardowych zadań programistycznych dla języków
funkcyjnych
2
L13 Zaliczenie przedmiotu – kolokwium
2
Razem godz.
24
Warunki zaliczenia
Dwa kolokwia na ocenę od 2 do 5.
Prezentacja zadania na ocenę od 2 do 5
Końcowa ocena będzie średnią otrzymanych ocen w stosunku 80% z kolokwium i 20% prezentacja
zadania.
Literatura
Literatura podstawowa
R. Sebesta, Concepts of Programming Languages, Wydawnictwo Addison Wesley, 2005.
P. Van Roy, S. Haridi, Programowanie: koncepcje, techniki i modele, Wydawnictwo Helion, Gliwice 2005.
Literatura uzupełniająca
P. Blackburn, J. Bos, K. Striegnitz, Learn Prolog Now!, College Publications, 2006.
P. Seibel, Practical COMMON LISP, Berkeley, Apress, 2005.