Opinto-oppaat
2008–2009
Arkistoitu opetussuunnitelma 2008–2010
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
▪
Opinto-oppaat
»
Informaatiotieteiden tiedekunta
2008–2010
»
Tietojenkäsittelytieteiden laitos
»
1.2 Tietojenkäsittelyopin valinnaiset syventävät opintojaksot
TKOPS134
Automaatit II
5
op
Vastuutaho
Tietojenkäsittelyoppi
Vastuuhenkilö
Professori Erkki Mäkinen.
Edeltävät opinnot
Pakolliset:
TKOPS104
Automaatit
Osaamistavoitteet
Lisätä formaalien kielten ja automaattien teorian tuntemusta.
Sisältö
Algoritmisten menetelmien periaatteelliset rajoitukset, ratkeavuus, pääteltävyys, NP-täydellisyys.
Toteutustavat
| Opetustapa | Paikalla | Verkossa |
| Luento-opetus | 26 t | 0 t |
| Harjoitukset | 10 t | 0 t |
Opetuskieli
suomiVaadittavat opintosuoritukset
Kirjallinen kuulustelu ja aktiivinen osallistuminen harjoituksiin.
Arviointi
Numerolla 1-5.Suositellut suoritusajankohdat
Syventävien opintojen vaiheessa, 3. vuosi tai myöhemmin.
Kirjallisuus/Oppimateriaali
- Hopcroft, Motwani, Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley 2001.
Kokonaisuudet johon opintojakso kuuluu
Tietojenkäsittelytieteiden laitos
1.2 Tietojenkäsittelyopin valinnaiset syventävät opintojaksot
(Tietojenkäsittelyoppi)
2008–2009
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
Tietojenkäsittelytieteiden laitos
Tietojenkäsittelyoppi
Vuorovaikutteinen teknologia
Opintokokonaisuudet