Главная /
Основы дискретной математики /
Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C). \begin{array}{llllllllll} (\forall x(P(x,y) & \rightarrow & \exists y(\forall z(Q(x,y,z) &\rightarrow & P(x,z)) &
Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F)
, а какие являются связанными (C)
.
вопрос
Правильный ответ:
F={2,3,5,6,9} C= {1, 4,7,8}
F={1,5,8,9} C= {2, 4,6,7}
F={2,6,8,9} C= {1,3,4,5,7}
F={2,5,7,8,9} C= {1,4,6}
F={2,6,8,9} C= {1,4,5,7}
Сложность вопроса
75
Сложность курса: Основы дискретной математики
82
Оценить вопрос
Комментарии:
Аноним
Экзамен прошёл на 4. Спасибо сайту
08 ноя 2019
Аноним
Это очень заурядный решебник по интуиту.
17 янв 2018
Аноним
Я преподаватель! Незамедлительно заблокируйте ответы intuit. Пожалуйста
31 авг 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Пусть заданы три множества: A={ a, b, c,{∅}, {a}}, B={a, e, {a}, {b},∅} и C = {a, b, d, {e}, {∅}}. Какова мощность множества D = (A \ B) ∩ C?
- # Какое из следующих перечислений вершин бинарного дерева T: [Большая Картинка] представляет его обход в инфиксном порядке?
- # Построить для заданного нагруженного неориентированного графа G=(V,E) минимальный остов. V= {1,2,3,4,5,6,7,8, 9 }, E={(1,2;15), (1,3; 2), (1,4; 8), (1,7; 9), (2,3; 4), (2,5; 9), (2,9; 8), (3,4; 6), (6,3; 5), (6,5; 7), (6,4; 3), (6,8; 16), (4,7; 10), (4,8; 8), (7,8; 7), (8,9; 15)} (здесь каждая скобка (u,v; D) задает ребро (u,v) из E и его "вес" c(u,v)=D ). Каков вес этого остова?
- # [Большая Картинка] Представленная выше таблица показывает бинарное кодирование десятичных цифр от 0 до 9. Какие из булевых формул задают множество всех ошибочных кодов?
- # Пусть база данных включает отношение Счет(Номер,Товар,Дата,Сумма). Укажите, какие из приведенных формул логики предикатов выражают следующее ограничение целостности: атрибут Номер является ключом отношения. Ф1 = ∀n∃t∃d∃s (Счет (n,t,d,s) → ∃t1∃d1∃s1 (Счет (n,t1,d1,s1) → (t=t1 ∧ d=d1 ∧ s=s1)))Ф2 = ∀n∀t∀d∀s∀n1∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ Счет (n1,t1,d1,s1) ∧ (t≠t1 ∨ d≠d1 ∨ s≠s1)) → (n ≠ n1))Ф3 = ∀n∀t∀d∀s∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ (Счет (n,t1,d1,s1)) → (t=t1 ∧ d=d1 ∧ s=s1)))