Opintojakson suoritettuaan opiskelija • kykenee määrittelemään ohjelmia logiikkaohjelmointiparadigmalla • osaa soveltaa logiikkaohjelmointitekniikoita • osaa konstruoida vaativia logiikkaohjelmia päälogiikkaohjelmointikieli Prologilla • kykenee ohjelmoinnissaan ottamaan huomioon prosessoinnin tehokkuuteen ja tilantarpeeseen vaikuttavat tekijät • osaa logiikkaohjelmoinnin yhteydessä soveltaa yleisiä hyviä ohjelmointiperiaatteita kuten modulaarisuutta, ylläpidettävyyttä ja uudelleenkäytettävyyttä.
Sisältö
Logiikkaohjelman rakenne ja logiikkaohjelmoinnin yhteys matemaattiseen logiikkaan. Relaatiotietokantojen ja deduktiivisten tietokantojen logiikkapohjainen ohjelmointi. Rekursiivisten tietotyyppien ohjelmointi. Yleinen prosessointimalli logiikkaohjelmille. Logiikkaohjelmointitekniikat. Prolog-prosessointi ja siihen vaikuttaminen. Prolog-ohjelmointitekniikat. Itseään modifioivat (muuttavat) Prolog-ohjelmat.
Toteutustavat
Opetustapa
Paikalla
Verkossa
Luento-opetus
41 t
0 t
Harjoitukset
24 t
0 t
Opetuskieli
suomi
Vaadittavat opintosuoritukset
Suoritusvaihtoehto
1
Kohderyhmät:
Tutkinto-ohjelman omat opiskelijat
Muut opiskelijat
Avoimen yliopisto-opetuksen opiskelijat
Tohtoriopiskelijat
Vaihto-opiskelijat
Harjoitustyö(t)
suomeksi
Kirjallinen tentti
suomeksi
Oppimateriaalit
Luennolla käsitellyt asiat
Kirjallinen kuulustelu, tietty määrä viikkoharjoitustehtäviä ja kolme harjoitusohjelmaa. Tenttioikeuden opintojaksolle saa kolmen harjoitusohjelman palauttamisen jälkeen.
Arviointi
Numerolla 1-5.
Kirjallisuus/Oppimateriaali
Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
Bratko, I., Prolog Programming for Artificial Intelligence, Adison-Wesley 2002.
Muu opintojaksolla jaettava materiaali.
2015–2016
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.