Математическая логика и теория алгоритмов//ТУСУР

Ответы в купленной работе, тест пройден на 78%

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

Алгебра высказываний

Логика предикатов

Теория алгоритмов

Какая из перечисленных формул является совершенной дизъюнктивной нормальной формой (СДНФ) формулы F алгебры высказываний?

XYF000011100111

(¬X∧Y)∨(¬X∧Y)(¬X∧Y)∨(X∧¬Y)(¬X∧Y)∨(X∧Y)

___________высказывание – высказывание, представляющее собой одно утверждение.

Установите, является ли предложение «Тело падает на Землю с ускорением, пропорциональным своей массе» высказыванием алгебры высказываний или нет.

Является ложным высказыванием алгебры высказываний.

Не является высказыванием алгебры высказываний.

Является истинным высказыванием алгебры высказываний.

Как называется предикат P(x), определенный на множестве M, если существует по меньшей мере один элемент xi∈M, при котором P(xi)=1?

Тождественно ложный

Выполнимый

Тождественно истинный

Областью _______ предиката P(x), заданного на множестве M, называется совокупность всех x из M, при которых данный предикат обращается в истинное высказывание.

Укажите область истинности предиката P(x)=«x2+x–6=0», заданного на множестве M=R.

IP=M

IP=∅

IP={–3,2}

Как называется операция над предикатами P(x) и Q(x), в результате которой возвращается значение «ложь» при тех и только тех значениях x∈M, при которых одновременно P(x) принимает значение «истина», а Q(x) принимает значение «ложь» и принимает значение «истина» во всех остальных случаях?

P(x)∧Q(x)

P(x)→Q(x)

P(x)∨Q(x)

P(x)↔Q(x)

какое определение описывает характерную черту алгоритма «детерминированность»?

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

Между всеми величинами, получаемыми алгоритмом, существует жесткая причинная связь, и все последующие значения зависят от предыдущих.

Закон получения последующей системы величин из предшествующей должен быть простым.

Программу машины Тьюринга можно представить в виде двумерной таблицы.

Укажите название данной таблицы.

Внутренний алфавит машины Тьюринга

Внешний алфавит машины Тьюринга

Функциональная схема машины Тьюринга

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

f(x)=¬x

f(x,y)=x∨y

f(x,y)=x⊕y

f(x,y)=x∧y

Согласно свойствам операции сложения по модулю два x(y⊕z)=…

(x⊕y)⊕z

(x⊕y)(x⊕z)

xy⊕xz

Функция f(x1,x2,…,xn) называется , если все ее аргументы xi являются булевыми, а сама функция также может принимать только два значения 0 и 1.