Opintojakso voidaan sisällyttää useisiin maisteriohjelmiin, esim. ohjelmistokehityksen, käyttöliittymien ohjelmistokehityksen, algoritmiikan ja tiedonhallinnan maisteriohjelmiin.
Osaamistavoitteet
Opintojakson tarkoituksena on perehdyttää opiskelija logiikkaohjelmointiparadigmaan ja keskeisiin logiikkaohjelmointitekniikoihin. Opintojakson suoritettuaan opiskelija osaa konstruoida vaativia logiikkaohjelmia Prolog-päälogiikkaohjelmointikielellä. Ohjelmoinnissaan hän kykenee ottamaan huomioon ohjelman ylläpidettävyyteen,uudelleenkäytettävyyteen sekä prosessoinnin tehokkuuteen ja tilantarpeeseen vaikuttavat tekijät.
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.
Edellytysten ja suositusten lisätiedot
Tietorakenteet opintojaksoa ei edellytetä suoritetuksi, mutta opiskelijan oletetaan tuntevan siellä esitellyt tietorakenteet.
Toteutustavat
Opetustapa
Paikalla
Verkossa
Luento-opetus
39 t
0 t
Harjoitukset
24 t
0 t
Opetuskieli
suomi
Vaadittavat opintosuoritukset
Kirjallinen kuulustelu, tietty määrä viikkoharjoitustehtäviä ja kolme harjoitusohjelmaa. Tenttioikeuden opintojaksolle saa 3 harjoitusohjelman palauttamisen jälkeen.
Arviointi
Numerolla 1-5.
Suositellut suoritusajankohdat
3. vuoden kevät
Syventävien opintojen vaiheessa.
Kirjallisuus/Oppimateriaali
Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.