Если f сводит Х к Y, g - Y к Z, то:

вопрос

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

Оставить комментарий

Отправить

• # Теорема Тарского:
• # Частично рекурсивны функции, получаемые из базисных с помощью:
• # m-полное множество относительно m-сводимости - это множество:
• # Множество всех программ, останавливающихся хотя бы на одном входе является:
• # Если , то: