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

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

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

Вопрос id:777231
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция g{х, z) равна
?) e31(x, y, z) + e33(x, y, z)
?) x +y
?) S(x) + S(y)
?) 0
Вопрос id:777232
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция h(х, y, z, m) равна
?) m + y
?) m + x
?) m + 1
?) e41(x, y, z, m) + e44(x, y, z, m)
Вопрос id:777233
Если f(х,y) = ху и рекурсия проводится по у, то функция h(х,y,z) равна
?) x+z
?) zx
?) z
?) zy
Вопрос id:777234
Если f(х,у) = х÷у и рекурсия проводится по х, то функция g(у) равна ___ (ответ укажите цифрой)
Вопрос id:777235
Если А и В – рекурсивные множества, то рекурсивны также множества 1) A∪B; 2) A∩B
?) только 1
?) только 2
?) не 1 и не 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 tests.ithead.ru 2013-2026