Siirry suoraan sisältöön

Laskennan perusmallitLaajuus (4 op)

Opintojakson tunnus: DT10062

Opintojakson perustiedot


Laajuus
4 op
Opetuskieli
suomi
Vastuuhenkilö
Mikko Anttonen, Vastuuopettaja

Osaamistavoitteet

Osaat mallintaa teoreettisesti erilaisia tietojenkäsittelyongelmia jotka rajoittuvat 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.

Siirry alkuun