Kurssi johdattaa ohjelmointitapaan, jossa ohjelman suoritusta ajatellaan jonkin matemaattisesti määritellyn funktion arvon laskemisena. Tällainen lähestymistapa ohjelmointiin on hyödyllinen erityisesti silloin kun pyritään tekemään todistettavasti oikeita ohjelmia. Kurssilla on esimerkkinä funktionaalisesta ohjelmointikielestä Haskell (ks. http://www.haskell.org/).