Opinto-opas
Opinto-opas
Vuonna 2022 alkavat ja sitä aiemmat koulutukset
Savonian uuden opinto-oppaan (2023 ja tämän jälkeen alkavat koulutukset) löydät täältä.
| Lähtökohdat | Osaamistavoitteet | Opintojen rakenne | Asiantuntijuuden kehittyminen | Toteutus | Opintojaksotaulukko |
ET20SP Tietotekniikan tutkinto-ohjelma
Opintojaksokuvaus
| Koodi | 4 ETX7700 |
| Nimi | Laskennan perusmallit |
| Nimi englanniksi | Basic Models of Computation |
| Laajuus | 3 op |
| Osaamistavoitteet | Tietojenkä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öt | Tietojenkä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. |
| Suoritustavat | Harjoitukset, tentti |
| Arviointiasteikko | 0 - 5 |
| Materiaali | Luentomuistiinpanot, 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 opinnot | Johdatus tietojenkäsittelytieteeseen, Tietorakenteet ja algoritmit I, Diskreetit rakenteet (ja näiden kurssien esitiedot) |
| Muuta huomioitavaa | Itä-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.