menu

Математическая логика и теория алгоритмов,Перемитина Т.О., 2016

>>Заказать выполнение данной ККР<<

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

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 2

Как называется правило вывода F→(G→H)G→(F→H)?

 

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 3

Формулы X∨(X∧Y)≡X, X∧(X∨Y)≡X выражают законы…

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 4

Доказательство теоремы называется , когда на основе правил вывода из посылки P мы получаем заключение D.

Верно

Следуйте подсказкам по вводу ответов.

Question 5

Формулы X∧(Y∨Z)≡(X∧Y)∨(X∧Z), X∨(Y∧Z)≡(X∨Y)∧(X∨Z) выражают законы…

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 6

Найдите область истинности предиката P(x)∧Q(x), заданного над множеством M={1,2,3,4,5}, если P(x)=«x2>5»; Q(x)=«|x–4|≤1».

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 7

Как называется предикат P(x), определенный на множестве M, если IP=M?

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 8

Для предикатов P(x) принято выделять область IP={x∈M|P(x)≡

}, где x – предметная переменная; M – область определения предиката.

Указания: Из предложенных значений в фигурных скобках выделите 0 или 1 для истинности утверждения.

Верно

Следуйте подсказкам по вводу ответов.

Question 9

Как называется операция над предикатами P(x),

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

принимает значение «истина»?

   
   
   
   

Верно

Выберите все верные ответы (может быть несколько или один).

Question 10

Какой логической операции над предикатами P(x)

и Q(x) соответствует область истинности IP¯¯¯¯∪IQ?

 

 
 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 11

Что из перечисленного описывает одно из свойств алгоритма – определенность?

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 12

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

 
 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 13

Как обозначают марковскую подстановку (P,Q) в теории нормальных алгоритмов Маркова?

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 14

Какое количество ячеек имеет карта Карно для булевой функции f(a,b)?

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 15

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

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 16

Какое графическое представление соответствует булевой функции f14(x,y)=x|y?

 
 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 17

Как называется операция переименования переменных булевой функции f(x1,x2,…,xn)?

 
 
 

Верно

Выберите все верные ответы (может быть несколько или один).

Question 18

Какой булевой функции соответствует данный логический элемент?
28.jpg

 
 
 

Верно

>>Заказать выполнение данной ККР<<

Категория: ФДО ТУСУР ККР | Добавил: Master (31.10.2023)
Просмотров: 359 | Рейтинг: 5.0/10