Запитання для самоперевірки
-
Сформулюйте основну ідею про спосіб побудови обчислювальних функцій.
-
Які функції належать до базисних функцій?
-
Назвіть основні оператори, що застосовуються для породження класу обчислювальних функцій?
-
Яка функція називається частково рекурсивною?
-
Яка гіпотеза є історично першою щодо зв’язків між класами інтуїтивних та точних алгоритмів?
-
Подайте за допомогою діаграм Ейлера - Венна співвідношення між класами обчислювальних та частково-рекурсивних функцій.