Wprowadzenie do programowania w logice


Informacje ogólne

Typ:obowiazkowy
Kierunek:Informatyka studia drugiego stopnia
Specjalność:Inteligencja obliczeniowa
Semestr:2
Wymiar zajęć:30 godzin wykładu,30 godzin laboratorium
Punkty ECTS:5

Program

Idea programowania w logice jest ważnym krokiem w rozwoju języków programowania. W przypadku tzw. języków imperatywnych programista musi wskazać jak dane zagadnienie rozwiązać. Dla programowania w języku logiki podstawowym zadaniem jest opisanie problemu, czyli koncentrujemy się na pytaniu co zamiast jak. Celem wykładu jest poznanie związku programowania deklaratywnego z logiką matematyczną, poznanie języka Prolog(PROgramming in LOGic), a także technik reprezentacji wiedzy.

Sposób zaliczenia

Laboratorium: Oceniane są programy pisane w czasie zajęć(wejściówki/kolokwia) i w domu (prace domowe). Zaliczenie na podstawieilości uzyskanych punktów z wykonanych zadań.
Egzamin: pisemny.

Literatura

  • I. Bratko - Prolog programming for artificial intelligence, Addison-Wesley Publ. Co 1994.
  • J. W. Lloyd - Foundations of logic programming, Springer Verlag 1987.
  • Grażyna Brzykcy, Adam Meissner - Programowaniew Prologu i programowanie funkcyjne, Materiały do ćwiczeń, WydawnictwoPolitechniki Poznańskiej, 1999 r.