Елементи конкретної алгоритміки: обчислюваність і розв’язність

• Published in: Проблеми програмування
• Date: 2020
• Main Authors: Провотар, О.І., Провотар, О.О.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2020
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/180465
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Елементи конкретної алгоритміки: обчислюваність і розв’язність / О.І. Провотар, О.О. Провотар // Проблеми програмування. — 2020. — № 2-3. — С. 198-207. — Бібліогр.: 5 назв. — укр.

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