Частичная функция вычислима относительно всюду определенной функции тогда и только тогда, когда она:

Правильный ответ:

• # Функция перечислима тогда и только тогда, когда
• # Две программы A, В доказуемо различны, если:
• # Функция f примитивна рекурсивна, если одновременно выполнено:
• # Множество X из N×N - универсальное, если:
• # Отношение "" является: