Laskennan perusmallitLaajuus (3 op)
Opintojakson tunnus: LTD7009
Opintojakson perustiedot
- Laajuus
- 3 op
- Opetuskieli
- suomi
- Vastuuhenkilö
- Mikko Anttonen, Vastuuopettaja
Osaamistavoitteet
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.
Esitietovaatimukset
Johdatus tietojenkäsittelyyn, Tietorakenteet ja algoritmit I, Diskreetit rakenteet.
Oppimateriaalit
Luentomuistiinpanot. Niiden ohella voi käyttää sopivia kirjoja, kuten: Kozen D.C.: Automata and Computability (Springer, 1997) tai Hopcroft J.E., Motwani R., Ullman J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd Ed. (Pearson, 2006).
Lisätiedot
Kurssin arvioinnissa kurssikoe tai sen uusintakoe 80%, tehdyt harjoitustehtävät 20%. Yleisissä kuulusteluissa harjoitustehtäviä ei enää huomioida.
Toteutustavat
Luentoja 22 h, harjoituksia 10 h.
Suoritustavat
Osallistuminen harjoituksiin ja loppukuulustelu.