Множество A есть подмножество множества В в том и только в том случае, если каждый элемент множества А является
(*ответ*) элементом множества B
не является элементом множества B
является элементом другого множества
является другим множеством
Множество аксиом вместе с явным определением доказательства составляют
(*ответ*) формальную систему
машину Тьюринга
теорию алгоритмов
рекурсивное множество
Множество всевозможных осмысленных утверждений языка является
(*ответ*) неперечислимым
рекурсивно перечислимым
рекурсивным
креативным
Множество всех истинных утверждений языка L является
(*ответ*) неразрешимым и неперечислимым
неразрешимым, но перечислимым
разрешимым и перечислимым
разрешимым, но неперечислимым
Множество доказуемых утверждений формальной системы арифметики
(*ответ*) неразрешимо
разрешимо
замкнуто
открыто
Множество истинных утверждений
(*ответ*) не выводится из системы аксиом
выводится из системы аксиом
носит название системы аксиом
перечисляет все аксиомы системы
Множество натуральных чисел обладает свойствами
(*ответ*) рекурсивности
(*ответ*) перечислимости
полноты
ограниченности
Множество номеров самоприменимой машины Тьюринга
(*ответ*) рекурсивно перечислимо
(*ответ*) неразрешимо
рекурсивно неперечислимо
разрешимо
Множество простых чисел обладает свойствами
(*ответ*) рекурсивности
(*ответ*) перечислимости
замкнутости
ограниченности
Модификацией _ алгоритма является челночный алгоритм
(*ответ*) марковского
нелинейного
дискретного
регулярного
На базовые термы лингвистической переменной накладываются следующие ограничения:
(*ответ*) упорядоченность
(*ответ*) полнота
(*ответ*) согласованность
(*ответ*) нормальность
(*ответ*) ограниченность
непротиворечивость
модальность
На практике наиболее часто используется опрос экспертов
(*ответ*) индивидуальный косвенный
индивидуальный прямой
групповой прямой
групповой косвенный