Основы частично рекурсивных функций в математике