|
|
| Другие темы раздела | |
|
Логика и множества Доказать утверждение
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1939265.html Подскажите пожалуйста как доказываются такого рода утверждения: A\subseteq B тогда и только тогда, когда A \cup B = B. Есть черновой вариант, хотелось бы его привести в нормальный вид: доказываю в одну сторону, A\subseteq B означает что \forall x \in A \Rightarrow x \in B тогда если взять произвольный x \in A \cup B то есть два случая: 1) x \in A но как нам известно то и x \in B 2) x... |
Упростить выражение Логика и множества Упростить нижеприведенные формулы при условии, что множества А, В, С и D связаны отношениями вида А ⊆ В ⊆ С ⊆ D ⊆ U, где U – универсальное множество. Вот само выражение: Р= неА∩ С ∩ D U неА ∩B ∩неС U неА ∩B ∩C U A ∩ неВ ∩C |
| Логика и множества Каким образом может это перевести в базис Стрелки Пирса? \ (\bar{x}\bar{y}\bar{z}t)+(\bar{x}\bar{y}zt)+(x\bar{y}\bar{z}t)+(x\bar{y}z\bar{t})+(x\bar{y}zt)+(xy\bar{z}t) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1938266.html | Логика и множества Задано универсальное множество Help me please! Условие задачи на картинке https://www.cyberforum.ru/ mathematical-logic-sets/ thread1938082.html |
|
Не могу найти ошибку в решении( сюръективность, инъективность) Логика и множества Очень прошу помочь с контрольной! Задание 1.2 - решено верно. Его можно пропустить. Задание 1.3. 1. и 2. пункты не знаю, как доказать сюръективность и инъюктивность. Если есть идеи буду рада. В 3 и 4 пункте ( нужно доказать или опровергнуть равенства) не могу найти ошибки в решении. Оказалось, что все правильно |
Логика и множества Логическим методом доказать тождество Здравствуйте! Не могу доказать одно тождество: A\bigtriangleup (A\bigtriangleup B) = B Я доказал, что левая часть равна множеству B, но не могу расписать из B левую часть( Если кто-то может, то, пожалуйста, помогите :) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1936308.html |
|
Логика и множества Упростить выражение
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1936105.html дано выражение (\neg (AB) \to \neg(A \vee B)) \to \rm{A} \oplus B. в первой скобке все понятно отрицание, затем импликация. а что делать дальше? сделать сначала (...)\to A, а потом \oplus B или сначала A \oplus B, а потом уже (...) \to (...). не пойму, какой тут приоритет, везде пишут по-разному... |
Логика и множества Построить булеву алгебру помогите, пожалуйста, с задачей. построить булеву алгебру для {x}_{i}\in R; \ \forall i, \ \frac{2}{3}<{x}_{i}<\frac{3}{4}.подскажите идею, с чего начать. |
|
Логика и множества Привести формулу к КНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1935977.html (неY ^ X) v (Z <=> Y) |
Логика и множества Инъективные, сюръективные и биективные отображения
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1935753.html Я понимаю, что такое сюрьекция, инъекция и биекция, а задачу не понимаю, как решать. f: M22(K) -> K (a b) -> ad-bc для всех (a b) принадлежит к M22(K). ______________c d__________________c d Докажите или опровергните, что: 1. сюрьективность 2. инъективность . 3. Для всех A,B принадлежит M22(K) имеет силу f(AB) = f(A)f(B). 4. Для всех A,B принадлежит M22(K) имеет силу f(A + B) =... |
|
Возможно ли выразить конъюнкцию через xor Логика и множества Собственно, вопрос в теме. Если нельзя так сделать, то почему? Возможно ли это как-то доказать? |
Логика и множества Задать различными способами множество чисел, являющихся степенями 3 и не превышающих 200 Решение. Множество можно задать следующими способами: 1) перечислением всех его элементов (списком); M={3,9,27,81}. 2) характеристическим свойством элементов множества; M = {}; 3) порождающей процедурой. 2 и 3 ? https://www.cyberforum.ru/ mathematical-logic-sets/ thread1935610.html |
|
0 / 0 / 0
Регистрация: 03.10.2016
Сообщений: 30
|
|
| 0 | |
Алгоритмом Уоршелла построить транзитивное замыкание для отношения - Логика и множества - Ответ 1022009915.03.2017, 23:17. Показов 1256. Ответов 1
Метки (Все метки)
Вернуться к обсуждению: Алгоритмом Уоршелла построить транзитивное замыкание для отношения Логика и множества
0
|
|
| 15.03.2017, 23:17 | |
|
Готовые ответы и решения:
1
Как построить транзитивное замыкание при помощи обхода в ширину Транзитивное замыкание Уоршелла Транзитивное замыкание бинарного отношения Транзитивное замыкание для бинарного соотношения (тройной цикл...) |
| 15.03.2017, 23:17 | |
| 15.03.2017, 23:17 | |
|
Помогаю со студенческими работами здесь
0
Транзитивное замыкание Транзитивное замыкание Как задать транзитивное замыкание? Что такое транзитивное замыкание? |