Записки научных семинаров Тульской школы теории чисел. Вып. 2. 2023 г.

4 Б. П. Ваньков ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ ТУЛЬСКОЙ ШКОЛЫ ТЕОРИИ ЧИСЕЛ Выпуск 2. УДК 510.5 О вычислимости частично рекурсивных функций Ваньков Борис Петрович — кандидат физико-математических наук, доцент, Тульский го- сударственный педагогический университет им. Л.Н. Толстого (г. Тула). e-mail: vankovbp@mail.ru Аннотация В статье рассматривается понятие алгоритма при помощи рекурсивных функций Чёр- ча. Ключевые слова: Алгоритм, вычислимая функция, частично-рекурсивные функции. Библиография: 7 названий. Для цитирования: Б. П. Ваньков. О вычислимости частично рекурсивных функций // Записки научных семи- наров Тульской школы теории чисел. 2023. Вып. 2, С. 4–8. NOTES OF SCIENTIFIC SEMINARS OF THE TULA SCHOOL OF NUMBER THEORY Issue 2. UDC 510.5 DOI 10.22405/2226-8383-2023-1-4-8 On computability of partially recursive functions Vankov Boris Petrovich — candidate of physical and mathematical sciences, associate professor, Tula State L. N. Tolstoy Pedagogical University, Tula. e-mail: vankovbp@mail.ru Abstract The article discusses the concept of an algorithm using Church’s recursive functions Keywords: Algorithm, computable function, partially recursive functions. Bibliography: 7 titles. For citation: B. P. Vankov, 2023, "On computability of partially recursive functions" , Notes of scientific seminars of the Tula School of Number Theory , Iss. 2, pp. 4–8.