x !
Arkistoitu opetussuunnitelma 2010–2011
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATES16 Laskettavuuden teoria 5–10 op
Vastuutaho
Matematiikka
Edeltävät opinnot
Diskreetti matematiikka.
Vastaavat opinnot opetussuunnitelmassa
Matematiikan ja tilastotieteen laitos
Opetussuunnitelma 2008 – 2010
MATES16 Laskettavuuden teoria 5–10 op

Osaamistavoitteet

Perehtyä sisältökuvauksessa mainittuihin asioihin.

Sisältö

URM-laskettavuus, rekursio ja minimalisaatio, Churchin teesi, universaalifunktio, ratkeavuus ja osittainen ratkeavuus, lukuteorian epätäydellisyys, vaativuusteoriaa.

Toteutustavat

Opetuksen määrä riippuu kurssin laajuudesta.

Vaadittavat opintosuoritukset

Arviointi

Numerolla 1-5.

Kirjallisuus/Oppimateriaali

Cutland, N. J., Computability: an introduction to recursive function theory.

Kokonaisuudet johon opintojakso kuuluu

Matematiikan ja tilastotieteen laitos
Matematiikan syventävät opinnot (Matematiikka)
2010–2011
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
-
Matematiikan ja tilastotieteen laitos