Perehtyä sisältökuvauksessa mainittuihin asioihin.
URM-laskettavuus, rekursio ja minimalisaatio, Churchin teesi, universaalifunktio, ratkeavuus ja osittainen ratkeavuus, lukuteorian epätäydellisyys, vaativuusteoriaa.
Opetuksen määrä riippuu kurssin laajuudesta.
1. Cutland, Computability. An introduction to recursive function theory.