x !
Arkistoitu opetussuunnitelma 2008–2010
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.

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

1. Cutland, Computability. An introduction to recursive function theory.

Kokonaisuudet johon opintojakso kuuluu

Matematiikan ja tilastotieteen laitos
Matematiikan syventävät opinnot (Matematiikka)
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.
-
Matematiikan ja tilastotieteen laitos