База ответов ИНТУИТ

Основы теории вычислимых функций

<<- Назад к вопросам

Теорема Поста:

(Отметьте один правильный вариант ответа.)

Варианты ответа
разрешимые множества перечислимы со своими дополнениями(Верный ответ)
либо само множество, либо его дополнение всегда перечислимо
перечислимые множества разрешимы со своими дополнениями
Похожие вопросы
Теорема Тарского:
Теорема Геделя:
Теорема Клини о неподвижной точке:
Теорема о неподвижной точке гарантирует существование:
Теорема о неподвижной точке называется также теоремой: