2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Непонятно, из какой области задачи (ТВ или булева алгебра)?
Сообщение05.04.2009, 19:14 
Есть контрольная, большинство задач - по теории вероятностей, одна - по булевой функции, одна - построить диаграмму Венна для множества; задачи простые. Но две задачи ставят меня в тупик тем, что даже не знаю, из какой они области. Вот они:
1) Доказать следующее:
$(A-B)-(C-D)=(A-(B+C))+(AD-B)$
2) Упростить выражение:
$(A+B)B+A(AB)$
Если бы не знак "-", я бы решил, что это булевы переменные либо события.

 
 
 
 
Сообщение05.04.2009, 19:18 
Аватара пользователя
Здесь $-$ - это теоретико-множественное вычитание.
Если у нас есть два множества $A$ и $B$, то $A-B = \{x|x\in A\,\&\, x\notin B\}$
В терминах событий: если $A$ и $B$ - события, то $A-B$ - событие, состоящее в том, что $A$ произошло, а $B$ не произошло.

 
 
 
 
Сообщение05.04.2009, 19:22 
А разве разность множеств обозначается "-"? Я считал, что только "\". И разве насчёт множеств предлагают такие задачи (упростить, доказать тождество)?

 
 
 
 k
Сообщение05.04.2009, 19:31 
Аватара пользователя
Общепринятое обозначение, да, $\setminus$. Но обычный минус тоже иногда встречается, особенно в старых книгах.
А задачи можно разные предлагать. А вообще события - это тоже множества, относительно них же у вас не возникает вопросов.


А во втором примере минусов нет, а его решение будет верно в любой решетке - будь то булева алгебра {0,1}, булева алгебра подмножеств некоторого множества, $\sigma$-алгебра событий или что-то еще.

 
 
 
 
Сообщение05.04.2009, 19:35 
shalabas в сообщении #202265 писал(а):
А разве разность множеств обозначается "-"?
Зацените обозначения в классической книжке Хаусдорфа "Теория множеств" :roll:

 
 
 
 
Сообщение05.04.2009, 21:37 
Т.е. преобразования с "-" сводятся к $A-B=A\bar B$ , или есть что-то попроще?

 
 
 
 
Сообщение05.04.2009, 21:41 
shalabas в сообщении #202332 писал(а):
Т.е. преобразования с "-" сводятся к A-B=AB'
Ну да, так и есть. При условии, что задано универсальное множество, сводятся.
shalabas в сообщении #202332 писал(а):
или есть что-то попроще?
Определение разности множеств. Куда уж проще?

 
 
 
 
Сообщение05.04.2009, 21:56 
Я имею в виду выражение преобразовывать как?

 
 
 
 Re: k
Сообщение05.04.2009, 22:09 
Аватара пользователя
Xaositect писал(а):
...его решение будет верно в любой решетке - будь то булева алгебра {0,1}, булева алгебра подмножеств некоторого множества, $\sigma$-алгебра событий или что-то еще.


Замечу, что всякое тождество с теоретико-множественными операциями выполняется на двухэлементной булевой алгебре $\{ 0,1 \} \Leftrightarrow$ оно выполняется на произвольной алгебре подмножеств $\mathcal{P}(X) \Leftrightarrow$ оно выполняется на произвольной булевой алгебре.

 
 
 
 
Сообщение05.04.2009, 23:38 
 !  Jnrty:
shalabas, формулы следует окружать знаками доллара, иначе они могут отображаться неправильно. Вообще, почитайте темы http://dxdy.ru/topic8355.html и http://dxdy.ru/topic183.html, там объясняется, как писать формулы.

shalabas в сообщении #202332 писал(а):
апострофом ' обозначена черта сверху


Черта сверху кодируется как \bar (над одной буквой) или \overline (над несколькими буквами вместе).

$\bar A\bar B$ или $\overline{AB}$

Код:
$\bar A\bar B$ или $\overline{AB}$


Исправьте, пожалуйста, свои сообщения, пока кто-нибудь из модераторов не отправил тему в "Карантин".

 
 
 [ Сообщений: 10 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group