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

Внимание! Данный предмет платный. Стоимость предмета 500 рублей. Сроки выполнения сутки

Заказать решение тестов МТИ вы можете в соответствующем разделе

Какая из перечисленных операций является одноместной?

  • дополнение+
  • объединение
  • пересечение
  • разность

В каком случае класс булевых функций называется собственным?

если он не пуст и не совпадает с классом всех булевых функций+

Как называется прием, в результате которого из некоторых данных формул получают их частные случаи?

  • унификацией
  • факторизацией
  • подстановкой+
  • резольвенцией

Как называется класс булевых функций, если он вместе со всеми своими функциями содержит любую их суперпозицию?

  • собственным
  • замкнутым+
  • полным

Как называется перевод высказывания естественного языка на символический язык?

  • интерпретацией
  • формализацией+
  • символизацией

Как называется возникающее исчисление предикатов, если в сигнатуре отсутствуют функциональные символы?

  • формальным исчислением предикатов
  • узким исчислением предикатов
  • чистым исчислением предикатов+

Какая операция называется сколемизацией?

  • операция исключения знаков импликации
  • операция исключения квантора общности
  • операция исключения квантора существования+

Какая из перечисленных бинарных логических операций называется конъюнкцией?

соединяющая две двоичные переменные a и b, принадлежащие множеству {0, 1}, в такую переключательную функцию c, которая равна 1 только тогда, когда равны 1 обе переменные+

Как называется логическая операция, соответствующая союзу «если, … то»?

  • инверсией
  • импликацией+
  • дизъюнкцией
  • конъюнкцией

При каком способе задания переключательная функция задается с помощью соответствующей отметки вершин n-мерного куба?

  • при аналитическом способе задания
  • при геометрическом способе задания+
  • при матричном способе задания

Какие из перечисленных записей являются законами де Моргана?

  • x ∨ y)′ = x′ ∙ y′, (x ∙ y)′ = x′ ∨ y′+
  • x ∨ y = y ∨ x, x ∙ y = y ∙ x
  • x ∨ x = x, x ∙ x = x
  • x ∨ (y ∙ x) = x, x ∙ (y ∨ x)′ = x

Какая из перечисленных записей описывает второй закон Аристотеля — противоречия?

Верный вариант номер 3! (самый нижний ответ)

Как называют любую элементарную формулу или ее отрицание?

  • сигнатурой
  • предложением
  • литералом+

В каком случае силлогизм является условным?

  • если одна из посылок — условное высказывание, а другая — разделительное высказывание
  • если обе посылки и вывод — условные высказывания+
  • если одна из посылок условная, а вторая посылка и вывод — категоричное высказывание

Как называется формула F(X1, X2, ...,Xn) , если существуют такие конкретные высказывания A1, A2, ...,An, которые превращают данную формулу в ложное высказывание F(A1, A2, ...,An) ?

  • опровержимой+
  • тождественно ложной
  • выполнимой

Как называются символы функций и предикатов?

  • атомом
  • формулой
  • сигнатурой+
  • термом

Как называется предикат, у которого множество истинностей является пересечением множеств истинности исходных предикатов?

  • дизъюнкцией предикатов
  • конъюнкцией предикатов+
  • инверсией предикатов

Укажите правило отыскания совершенной дизъюнктивной нормальной формы для формулы?

  • нужно выбрать все те наборы значений переменных, на которых формула принимает значение 0; для каждого такого набора выписать совершенный дизъюнктивный одночлен, принимающий значение 0 на этом наборе и только на нем; полученные совершенные дизъюнктивные одночлены соединить знаками конъюнкции
  • нужно выбрать все те наборы значений переменных, на которых формула принимает значение 0; для каждого такого набора выписать совершенный конъюнктивный одночлен, принимающий значение 0 на этом наборе и только на нем; полученные совершенные конъюнктивные одночлены соединить знаками дизъюнкции
  • нужно выбрать все те наборы значений переменных, на которых формула принимает значение 1; для каждого такого набора выписать совершенный дизъюнктивный одночлен, принимающий значение 1 на этом наборе и только на нем; полученные совершенные дизъюнктивные одночлены соединить знаками конъюнкциин
  • нужно выбрать все те наборы значений переменных, на которых формула принимает значение 1; для каждого такого набора выписать совершенный конъюнктивный одночлен, принимающий значение 1 на этом наборе и только на нем; полученные совершенные конъюнктивные одночлены соединить знаками дизъюнкции+

Что из перечисленного является одноместным предикатом?

  • высказывание
  • свойство+
  • n-местное отношение

Какой из перечисленных модусов условно-категоричных силлогизмов является неправильным?

Второй вариант верный (по середине)

Как называется булева функция, если ее можно представить в виде полинома Жегалкина степени не выше первой?

  • двойственной
  • монотонной
  • линейной+

У какой логической операции левый член называется антецедентом, а правый — консеквентом?

  • у эквивалентности
  • у инверсии
  • у импликации+

В каком случае дизъюнкция двух предикатов есть выполнимый предикат?

  • тогда и только тогда, когда оба предиката выполнимы
  • тогда и только тогда, когда по меньшей мере один из данных предикатов выполним+
  • тогда и только тогда, когда по меньшей мере один из данных предикатов невыполним

Как называется функция f, заданная на некотором множестве слов алфавита A?

нормально вычислимой функцией+

Как называется правило построения последовательности Vi  слов в алфавите A, исходя из данного слова V в этом алфавите?

  • марковской подстановкой
  • нормальным алгоритмом (Маркова) в этом алфавите+

Какая из перечисленных записей называется формулой подстановки (P, Q)?

Третий вариант верный (пред последний)

Что из перечисленного является внутренней памятью машины Тьюринга?

  • лента
  • конечное множество состояний+
  • слова в алфавите ленты

Чем определяется каждая машина Тьюринга?

  • своими состояниями внешней и внутренней памяти и программой
  • своим алфавитом и программой
  • своим алфавитом, состоянием внутренней памяти и программой+

Кто является автором тезиса: «Класс интуитивно вычислимых функций совпадает с классом частично рекурсивных функций»?

  • А. Тьюринг
  • А. Марков
  • А. Чёрч+

Какой символ в схемах алгоритмов может быть использован для обозначения заголовка цикла?

  • предопределенный процесс
  • решение
  • подготовка+

Какие из перечисленных классов функций (заданных на натуральных числах и принимающих натуральные значения) совпадают?

класс всех функций, вычислимых по Тьюрингу, класс всех частично рекурсивных функций и класс всех нормально вычислимых функций+

Какое свойство алгоритма предполагает, что алгоритм может быть пригоден для решения всех задач данного типа?

  • дискретность
  • массовость+
  • результативность
  • определенность

Как называется операция получения новой функции по имеющимся функциям:  по правилу?

  • суперпозицией+
  • примитивной рекурсией
  • минимизацией

Что записывается на ленте машины Тьюринга?

  • исходные данные и затем — результат+
  • исходные и промежуточные данные
  • промежуточные данные и результат

Если A и B — два алфавита, причем A ⊆ B,  то

  • алфавит A называется расширением алфавита B
  • алфавит B называется расширением алфавита A+
  • алфавиты A и B совпадают

Для чего в схемах алгоритмов используется символ «процесс»?

  • для обозначения заголовков циклов
  • для обозначения операции ввода и вывода данных
  • для обозначения операции присваивания+

Какая из перечисленных операций называется минимизацией? Выберите один ответ:

  • операция получения новой функции из имеющихся двух функций: по правилу
  • операция построения новой функции по известной функции + по правилу
  • операция получения новой функции по имеющимся функциям: по правилу

Какой фигурой обозначается вершина граф-схемы алгоритма операторного типа

  • овалом
  • прямоугольником+
  • треугольником
  • ромбом

Какой символ, используемый в схемах алгоритмов, отображает выход во внешнюю среду и вход из внешней среды?

  • соединитель
  • параллельные действия
  • терминатор+

Какой символ, используемый в схемах алгоритмов, отображает альтернативную связь между двумя и более символами?

  • сплошная линия
  • параллельные действия
  • пунктирная линия+

Какое свойство алгоритма обеспечивает однозначность результата вычислительного процесса при заданных исходных данных?

  • определенность+
  • результативность
  • дискретность
  • массовость

Какой схемой не может быть представлено предписание о последовательности действий алгоритма?

  • эквивалентной схемой+
  • матричной схемой
  • граф-схемой
  • логической схемой

Какое свойство алгоритма означает, что описываемый алгоритмом процесс и сам алгоритм могут быть разбиты на отдельные элементарные этапы, возможность выполнения  которых на ЭВМ у пользователя не вызывает сомнения?

  • дискретность+
  • определенность
  • результативность
  • массовость

В чем состоит смысл теоремы Райса?

в том, что по описанию алгоритма, вычисляющего функцию, ничего нельзя узнать о свойствах функции, которую он вычисляет+

Какая теорема устанавливает алгоритмическую неразрешимость вообще всякого нетривиального свойства вычислимых функций?

  • теорема Райса+
  • теорема Чёрча
  • теорема Маркова

Сколько входных и выходных лент имеет многоленточная машина Тьюринга?

  • несколько входных лент и одну выходную+
  • несколько входных лент и несколько выходных
  • одну входную ленту и несколько выходных

Какой фигурой в схемах алгоритмов обозначается символ «решение»?

  • овалом
  • параллелограммом
  • ромбом+
  • прямоугольником

Как называются свойства текстов, описывающих алгоритм?

  • семантические свойства
  • синтаксические свойства+
  • смысловые свойства

Не удается самостоятельно сдать тест? Наши авторы Вам в этом помогут! Стоимость решения предмета- 500 рублей. Оплата после решения тестов

Так же Вам может быть интересно:

Ещё