x !
Arkistoitu opetussuunnitelma 2010–2011
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
TKOPS134 Automaatit II 4 op
Vastuutaho
Tietojenkäsittelyoppi
Vastuuhenkilö
Professori Erkki Mäkinen.
Suunnitellut järjestämisajankohdat
Periodi I II III IV
2011–2012 X
Edeltävät opinnot
Pakolliset:
TKOPS104 Automaatit
Vastaavat opinnot opetussuunnitelmassa
Tietojenkäsittelytieteiden laitos
Opetussuunnitelma 2008 – 2010
TKOPS134 Automaatit II 5 op

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

suomi

Vaadittavat opintosuoritukset

Kirjallinen kuulustelu ja aktiivinen osallistuminen harjoituksiin.

Arviointi

Numerolla 1-5.

Suositellut suoritusajankohdat

3. vuosi tai myöhemmin.

Kirjallisuus/Oppimateriaali

  1. 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)
2010–2011
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
-
Tietojenkäsittelytieteiden laitos