Przedmiot: Języki i paradygmaty programowania

Forma zajęć: Laboratorium
Prowadzący: dr inż. Barbara Fryc

Katedra Podstaw Informatyki (pok. 135)

E-mail:

[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.