Opintojakso

Opintojakson suoritettuaan opiskelija tunnistaa tietojenkäsittelyongelmien ja niiden ratkaisukeinojen teoreettinen mallintamisen rajoittuen käytännön ohjelmistotyössä sovellettaviin kuvausmenetelmiin ja syötteiden käsittelytekniikoihin (alkioanalyysi ja jäsennys).  Opintojakson suoritettuaan opiskelijalla on perustiedot äärellisistä automaateita ja säännöllisistä kielistä, pinoautomaateista ja kontekstittomista kielistä

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.

Osallistuminen harjoituksiin ja loppukuulustelu

Luentoja 22h, harjoituksia 10h

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).

Arvosana: 0-5. Kurssikoe tai sen uusintakoe 80%, tehdyt harjoitustehtävät 20%. Yleisissä kuulusteluissa harjoitustehtäviä ei enää huomioida

Johdatus tietojenkäsittelyyn, Tietorakenteet ja algoritmit I-II, Diskreetit rakenteet

Kevätlukukausi 

Tämä opintojakso on avoin kaikille

Opetuskieli on suomi