Opetussuunnitelmat

#SavoniaAMK

Kulttuuriala, Muotoilu
Kulttuuriala, Musiikki ja Tanssi
Luonnonvara-ala
Matkailu- ja ravitsemisala
Sosiaali- ja terveysala, Iisalmi
Sosiaali- ja terveysala, Kuopio
Tekniikan ala, Kuopio
Tekniikan ala, Varkaus
Liiketalouden ala, Kuopio
Savonian monialaiset opinnot
Savonian valintakurssit
Lähtökohdat Osaamistavoitteet Opintojen rakenne Asiantuntijuuden kehittyminen Toteutus Opintojaksotaulukko

ET20SP Tietotekniikan tutkinto-ohjelma

Opintojaksokuvaus

Koodi4 ETX7700
NimiLaskennan perusmallit
Nimi englanniksiBasic Models of Computation
Laajuus3 op
OsaamistavoitteetTietojenkäsittelyteorian alkeiden hallinta. Säännöllisten kielten ja kontekstittomien kielten kuvaamisessa ja käsittelemisessä tarvittavien välineiden ja tekniikoiden hallinta. Käsitys laskettavuuden ja ratkeavuuden perusteista, Churchin-Turingin teesistä ja näiden keskeisistä perusteluista ja seurauksista.
Keskeiset sisällötTietojenkäsittelyongelmien ja niiden ratkaisukeinojen teoreettinen mallintaminen rajoittuen käytännön ohjelmistotyössä sovellettaviin kuvausmenetelmiin ja syötteiden käsittelytekniikoihin (alkioanalyysi ja jäsennys): Äärelliset automaatit ja säännölliset kielet, pinoautomaatit ja kontekstittomat kielet.
SuoritustavatHarjoitukset, tentti
Arviointiasteikko0 - 5
MateriaaliLuentomuistiinpanot, sopivia kirjoja: Sipser M.: Introduction to the Theory of Computation. Hopcroft J.E., Motwani R., Ullman J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd Ed. Pearson, 2003. Lewis H.R., Papadimitriou C.H.: Elements of the Theory of Computation, 2nd Ed., Prentice Hall, 1998.
Edeltävät opinnotJohdatus tietojenkäsittelytieteeseen, Tietorakenteet ja algoritmit I, Diskreetit rakenteet (ja näiden kurssien esitiedot)
Muuta huomioitavaaItä-Suomen yliopiston Tietojenkäsittelytieteen laitoksen toteuttama opintojakso
YhteyshenkilöPitkänen Veijo

<< Takaisin opintojaksotaulukkoon

 

Pidätämme oikeuden opetussuunnitelmien muutoksiin mm. opiskeltavien sisältöjen päivitystarpeiden takia.