x !
Arkistoitu opetussuunnitelma 2011–2012
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

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

Kokonaisuudet johon opintojakso kuuluu

Informaatiotieteiden yksikkö
Matematiikan syventävät opinnot (Matematiikka)
2011–2012
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
-
Informaatiotieteiden yksikkö