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

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

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

Вопрос id:777231
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция g{х, z) равна
?) x +y
?) e31(x, y, z) + e33(x, y, z)
?) 0
?) S(x) + S(y)
Вопрос id:777232
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция h(х, y, z, m) равна
?) e41(x, y, z, m) + e44(x, y, z, m)
?) m + 1
?) m + x
?) m + y
Вопрос id:777233
Если f(х,y) = ху и рекурсия проводится по у, то функция h(х,y,z) равна
?) zy
?) z
?) zx
?) x+z
Вопрос 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