Ushbu kurs ishi rekursiv funksiyalar tushunchasini, ularning turlarini (primitiv, umumiy, qisman rekursiv) va funksiyalarning superpozitsiyasini o'rganadi. Shuningdek, masalaning algoritmik yechilmasligi hamda Gödel raqamlash usullari muhokama qilinadi.