Для m-сводящей X к Y функции f используют обозначение:

вопрос

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

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

Отправить

• # Функции, вычисляемые программой с полным ветвлением и циклом "для", но без циклов "пока":
• # Простое множество:
• # Отношение эквивалентности - это отношение:
• # Фрагмент - это всегда:
• # Свойство A(x), перечислимо тогда и только тогда, когда: