Dalyko sando kodas

LOGP3124

Dalyko sando pavadinimas

Loginis programavimas

Dėstytojo (-jų) pedagoginis vardas, mokslo laipsnis, vardas ir pavardė

Doc. dr. Rimantas Vaicekauskas

Katedra, centras

Informatikos katedra

Fakultetas, padalinys

Matematikos ir informatikos fakultetas

Dalyko sando lygis

pirmosios pakopos

Semestras

rudens (5) 

ECTS kreditai

4,5

VU kreditai

3

Auditorinės valandos

viso dalyko 64

Paskaitų 32

seminarų

pratybų

laboratorinių darbų 32

konsultacijų

Reikalavimai

INFO2114, INFO2114, DSTR2114,  MLOG2114 (Įvadas į informatika, duomenų struktūros ir algoritmai, matematinė logika)

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Kurso paskirtis įsisavinti loginio programavimo metodologiją, naudojant Prolog programavimo kalbą: įdentifikuoti loginius sąryšius problemos formulavime, užrašytį juos logikos formulėmis, adaptuoti sprendimą vykdomajai sistemai, interpretuoti rezultatus.

Dalyko sando turinys

Loginio programavimo sąvoka, remiantis rezoliucinio tipo skaičiavimais Horno disjunktams pirmos eilės predikatų logikoje. Loginio programavimo kalbos Prolog sintaksė, loginė bei procedūrinė semantika. Loginių sistemų realizacijos.
Klasikinių "dirbtinio intelekto" uždavinių sprendimo Prologu metodai : paieška, simbolinis reiškinių apdorojimas, sintaksinė analizė, žaidimų modeliavimas, ekspertinės sistemos.  

Pagrindinės literatūros sąrašas

1.   R.Vaicekauskas. Lygiagretusis programavimas gijomis.- Kompiuterinė metodinė priemonė. VU, 2005.

2.  S.Norgėla, R.Vaicekauskas. Programavimo kalba Prolog.-Vilnius, 1990

3.    E.Sterling, L. and Shapiro. The Art of Prolog.-1986.

4.    W.Clocksin, C.Mellish. Programming in Prolog (2nd). -Berlin, 1984

Papildomos literatūros sąrašas

1.    I.Bratko. Prolog for artificial intelligence - 1990.

Mokymo metodai

Paskaitos, seminarai, kuriame pristatomi referatai išplėstinėmis kurso temomis, Laboratoriniai darbai, kuriuose, sprendžiant pirmąsias užduotis, įsisavinimi pagrindiniai log. programavimo principai bei technikos, o paskutinė užduotis – problema, reikalaujanti panaudoti visas įgytąsias žinias.

Lankomumo reikalavimai

Specialių reikalavimų nėra.

Atsiskaitymo reikalavimai

Egzaminas raštu, kurio sudaro klausimai - testas, mini- uždaviniai, bei klausimas-tema, reikalaujanti išsamaus atsakymo

Vertinimo būdas

30 % - laboratorinių darbų įvertis, 70% egzamino klausimai.

Aprobuota katedros

2004 10 04

Patvirtinta Studijų programos komiteto

2004 11 09