Matnda hisoblanadigan va sanab o‘tadigan funksiyalar tushunchalari, ularning matematik ta'riflari, asosiy xususiyatlari va misollar keltirilgan. Hisoblanadigan funksiyalar algoritmik usullar yordamida qiymatlari hisoblanadigan funktsiyalar sifatida ko‘rib chiqiladi. Sanab o‘tadigan funksiyalar va to‘plamlarning ta'rifi, ularning algoritmik xarakteri, shuningdek, Tyuring mashinalari va algoritmlar nazariyasiga oid asosiy tushunchalar bayon etilgan. Matn Tyuring tezisi, algoritmik fikrlash, zamonaviy EHM (elektron hisoblash mashinalari) va ularning Tyuring mashinalariga aloqadorligi haqida ham ma'lumot beradi.