Opinto-opas

Tavoitteet

Tietojenkäsittelyongelmien ja niiden ratkaisukeinojen teoreettinen mallintaminen ja rajoittuen käytännön ohjelmistotyössä sovellettaviin kuvausmenetelmiin ja syötteiden käsittelytekniikkoihin (alkioanalyysi ja jäsennys): Äärelliset automaatit ja säännölliset kielet, pinoautomaatit ja kontekstittomat kielet.

Sisältö

Tietojenkäsittelyteorian alkeiden hallinta.
Säännöllisten kielten ja kontekstittomien kielten kuvaamisessa ja käsittelemisessä tarvittavien perusvälineiden ja -tekniikoiden hallinta.
Käsitys laskettavuuden ja ratkeavuuden perusteista, Churchin-Turingin teesistä ja näiden keskeisistä perusteluista ja seurauksista.

Arviointiasteikko

H-5

Esitietovaatimukset

Johdatus tietojenkäsittelyyn, Tietorakenteet ja algoritmit I, Diskreetit rakenteet.

Lisätiedot

Kurssin arvioinnissa kurssikoe tai sen uusintakoe 80%, tehdyt harjoitustehtävät 20%. Yleisissä kuulusteluissa harjoitustehtäviä ei enää huomioida.