Провотар, О.І.; Провотар, О.О.
(Проблеми програмування, 2020)
Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується ...