Opetusohjelma
2012–2013
Arkistoitu opetusohjelma 2012–2013
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
TIETS06
Logiikkaohjelmointi
10
op
Periodit
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
-
TIETS06
Logiikkaohjelmointi
Osallistuminen opetukseen
Tietojenkäsittelytieteiden tutkinto-ohjelma
Informaatiotieteiden yksikkö
Informaatiotieteiden yksikkö
Osaamistavoitteet
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ä.
Opettajat
Timo Niemi, Vastaava opettaja
Timo.Niemi[ät]uta.fi
Opintojakson kotisivu
Opetus
Luento-opetus 41 tuntia
Luennot
Ti 8.1.2013 - 16.4.2013 viikoittain klo 12-14, Paavo Koli -sali (PinniA), Ei viikolla 14
Harjoitukset 24 tuntia
Luennot ja harjoitukset
Pe 11.1.2013 - 19.4.2013 viikoittain klo 9-12, Pinni B4117, Ei viikolla 13