1 / 1 / 0
Регистрация: 05.05.2020
Сообщений: 82
|
|
1 | |
Мат логика20.06.2020, 09:29. Показов 1069. Ответов 0
Метки мат логика (Все метки)
1)Пусть C = A V L , D = B V 7L тогда резольвентой дизъюнктов С и D называется дизъюнкт:
Выберите один ответ: a. A V B V 7L b. L c. A V B d. A V B V L 2)Какая формула находится в сколемовской нормальной форма ( СНФ ) Выберите один ответ: a. ЭХ ЭУ ЭZ (R(x,y ) V Q(x,z,y)) b. \-/Х \-/Z (R(x,f(z)) V Q(x,z,g(x))) c. Эu \-/х ЭУ \-/Z (R(x,y) & Q(u,z,y)) d. \-/Х ЭУ \-/Z (R(x,f(x)) V Q (a,z,y)) 3)Какая из следующих равносильностей не верна Выберите один ответ: a. \-/Х \-/У Р(х,у) = \-/У \-/Х Р(х,у) b. \-/Х ЭУ Р(х,у) = ЭУ \-/Х Р(х,у) c. 7(ЭХ Р(х)) = \-/Х 7Р(х) d. 7(\-/Х Р(х)) = ЭХ 7Р(х) 4)Какая из следующих рекурсивных функций не является базисной (элементарной) Выберите один ответ: a. нуль функция O (x ) = 0 b. функция следования S (x ) = x + 1 c. сумма f(x1 , x2 ) = x1 + x2 d. функция выбора Im (x1, … , xn ) = xm
0
|
20.06.2020, 09:29 | |
Ответы с готовыми решениями:
0
Мат. логика Мат логика мат. логика мат.логика |
20.06.2020, 09:29 | |
20.06.2020, 09:29 | |
Помогаю со студенческими работами здесь
1
Мат логика Мат.логика Мат. логика и множества Формулы (мат. логика) зачет мат.логика Мат логика предикаты Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |