Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.

Список вопросов базы знаний

Математическая логика и теория алгоритмов

Вопрос id:777231
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция g{х, z) равна
?) x +y
?) 0
?) S(x) + S(y)
?) e31(x, y, z) + e33(x, y, z)
Вопрос id:777232
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция h(х, y, z, m) равна
?) m + 1
?) m + x
?) m + y
?) e41(x, y, z, m) + e44(x, y, z, m)
Вопрос id:777233
Если f(х,y) = ху и рекурсия проводится по у, то функция h(х,y,z) равна
?) zx
?) x+z
?) z
?) zy
Вопрос id:777234
Если f(х,у) = х÷у и рекурсия проводится по х, то функция g(у) равна ___ (ответ укажите цифрой)
Вопрос id:777235
Если А и В – рекурсивные множества, то рекурсивны также множества 1) A∪B; 2) A∩B
?) только 1
?) 1 и 2
?) только 2
?) не 1 и не 2
Вопрос id:777236
Если А рекурсивно, а В – рекурсивно перечислимо, то множество ___ рекурсивно
?) А\В
?) В\А
?) (А∪В)\(А∩В)
?) А∩В
Вопрос id:777237
Если множество рекурсивно, то оно ___ всюду определенной вычислимой функции
?) не является ни множеством значений, ни областью определения
?) является только множеством значений
?) является только областью определения
?) является множеством значений и областью определения
Вопрос id:777238
Если множество является множеством значений некоторой вычислимой функции, то оно называется
?) вычислимым
?) эффективным
?) рекурсивно перечислимым
?) разрешимым
Вопрос id:777239
Если характеристический предикат множества является вычислимым, такое множество называется
?) рекурсивно перечислимым
?) вычислимым
?) эффективным
?) рекурсивным
Вопрос id:777240
Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется
?) формулой
?) языком
?) словом
?) предложением
Вопрос id:777241
Запись ___ служит для обозначения логической связки дизъюнкции высказываний А и В
?) А ∩ В
?) А ∪ В
?) В ∩ А
?) А ∪ В
Вопрос id:777242
Запись ___ служит для обозначения логической связки эквивалентности
?) А ~ В
?) В (( А
?) А ( В
?) А )( В
Вопрос id:777243
Запись ___ служит для обозначения логической связки импликации
?) В ) А
?) А (( В
?) А→В
?) А ( В
Вопрос id:777244
Запись ___ служит для обозначения логической связки конъюнкции высказываний А и В
?) А ∪ В
?) А ∪ В
?) В ∩ А
?) А ∩ В
Вопрос id:777245
Запись ___ служит для обозначения объединения множеств А и В
?) А ∩ В
?) А ∪ В
?) А∪В
?) A ∩ В
Вопрос id:777246
Запись ___ служит для обозначения пересечения множеств А и В
?) А∪В
?) A ∩ В
?) А \ В
?) А + В
Вопрос id:777247
Запись ___ служит для обозначения разности между множествами А и В
?) A ∩ В
?) А \ В
?) А∪В
?) А – В
Вопрос id:777248
Знак, который характеризуется правилами его употребления, – это
?) константа
?) переменная
?) предикат
?) постоянная
Вопрос id:777249
Идею использования рекурсии для решения задач, связанных с основаниями математики, предложил
Вопрос id:777250
Истинная при всех интерпретациях формула называется
?) неразрешимой
?) выводимой
?) общезначимой
?) разрешимой
Вопрос id:777251
К семантическим парадоксам относятся парадаксы
?) Лейбница
?) лжеца
?) Берри
?) Рассела
Вопрос id:777252
К символам, входящим в алфавит формального логического языка, относятся символы
?) ∈
?) ∪
?) ∀
?) ≠
?) ∃
Вопрос id:777253
К термам лингвистической переменной предъявляется лишь требование
?) истинности
?) не отрицательности
?) упорядоченности
?) не противоречивости
Вопрос id:777254
К элементам, входящим в состав конечного автомата, относятся:
?) лента, разбитая на ячейки
?) угадывающий модуль
?) датчик случайных чисел
?) читающая головка
Вопрос id:777255
Класс примитивно рекурсивных функций ___ вычислимых функций
?) дополняет класс
?) совпадает с классом
?) входит в класс
?) содержит в себе класс
Вопрос id:777256
Количество типов команд машины Тьюринга равно ___ (ответ укажите цифрой)
Вопрос id:777257
Количество элементарных действий, из которых состоит команда машины Тьюринга, равно ___ (ответ укажите цифрой)
Вопрос id:777258
Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется ___ формой
?) абстрактной
?) высказывательной
?) иносказательной
?) именной
Вопрос id:777259
Конечному автомату соответствует грамматика, порождающая
?) регулярный язык
?) язык программирования
?) словарь машины Тьюринга
?) машину Тьюринга
Вопрос id:777260
Концептуальное отличие нечеткой логики от классической заключается в том, что она оперирует
?) только значениями "ложь"
?) только промежуточными между значениями "истина" и "ложь" значениями
?) не только значениями "истина" и "ложь", но и промежуточными значениями
?) только значениями "истина" и "ложь"
Вопрос id:777261
Логика Буля основывается на
?) отношении порядка
?) отношении эквивалентности
?) отношении эквивалентности и отношении порядка
?) аксиоматическом подходе
Вопрос id:777262
Логика высказываний и логика предикатов базируются на
?) аксиоматическом подходе
?) отношении эквивалентности и отношении порядка
?) отношении эквивалентности
?) отношении порядка
Вопрос id:777263
Логика, в которой для решения логических задач используется язык математических и логических знаков, называется логикой
?) Буля
?) высказываний
?) предикатов
?) математической
Вопрос id:777264
Любое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется
?) выводом
?) отношением
?) высказыванием
?) выражением
Вопрос id:777265
Марковский алгоритм носит также название ___ алгоритма
?) нелинейного
?) недетерминированного
?) стохастического
?) нормального
Вопрос id:777266
Машина Тьюринга читает и пишет на ленте символы, которые образуют
?) внешний алфавит
?) выражения
?) внутренний алфавит
?) команды
Вопрос id:777267
Многозначную логику, позволяющую определить промежуточные значения для таких общепринятых оценок, как да/нет, истинно/ложно, черное/белое, называют ___логикой
?) нечеткой
?) логикой высказываний
?) модальной
?) математической
Вопрос id:777268
Множество A есть подмножество множества В в том и только в том случае, если каждый элемент множества А является
?) является элементом другого множества
?) не является элементом множества B
?) является другим множеством
?) элементом множества B
Вопрос id:777270
Множество натуральных чисел обладает свойствами
?) перечислимости
?) полноты
?) рекурсивности
?) ограниченности
Вопрос id:777271
Множество номеров самоприменимой машины Тьюринга
?) неразрешимо
?) рекурсивно неперечислимо
?) рекурсивно перечислимо
?) разрешимо
Вопрос id:777272
Множество простых чисел обладает свойствами
?) ограниченности
?) замкнутости
?) рекурсивности
?) перечислимости
Вопрос id:777273
Модификацией ___ алгоритма является челночный алгоритм
?) марковского
?) регулярного
?) дискретного
?) нелинейного
Вопрос id:777274
На базовые термы лингвистической переменной накладываются следующие ограничения:
?) модальность
?) упорядоченность
?) согласованность
?) полнота
?) нормальность
?) ограниченность
?) непротиворечивость
Вопрос id:777275
На практике наиболее часто используется опрос экспертов
?) индивидуальный прямой
?) индивидуальный косвенный
?) групповой косвенный
?) групповой прямой
Вопрос id:777276
Наука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется
Вопрос id:777277
Не рекурсивное множество может обладать следующими свойствами:
?) может быть областью определения всюду определенной вычислимой функции
?) не может быть областью определения всюду определенной вычислимой функции
?) не может быть множеством значений всюду определенной вычислимой функции
?) может быть множеством значений всюду определенной вычислимой функции
Вопрос id:777278
Нечеткая логика – это надмножество логики
?) модальной
?) математической
?) высказываний
?) Буля
Вопрос id:777279
Нечеткое множество, высота которого меньше 1, называется
?) субнормальным
?) нормальным
?) единичным
?) четким
Вопрос id:777280
Нечеткое множество, высота которого равна 1, называется
?) субнормальным
?) нормальным
?) четким
?) одиночным
Вопрос id:777281
Нечеткое отношение – это заданное определенным образом
?) декартово произведение
?) высказывание
?) отображение
?) отношение
Copyright testserver.pro 2013-2024 - AppleWebKit