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.