2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 __Уточнение__
Сообщение04.06.2007, 07:08 


17/05/07
6
Выражения в теории множеств мне необходимо выразить (если возможно) через булеву алгебру.

 Профиль  
                  
 
 
Сообщение04.06.2007, 07:43 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
kgenius писал(а):
Выражения в теории множеств мне необходимо выразить (если возможно) через булеву алгебру.
Последний Ваш вопрос не сильно отличается от изначального:
kgenius писал(а):
Мне необходимо привести ряд условий, на уровне теорий множеств, к высказываниям в форме булевой алгебры (И-ИЛИ-НЕ).
Но все попытки угадать, чего же Вы реально хотите, ранее к успеху не привели. Так не пора ли изменить тактику? Вы бы хоть примерчик какой привели из области желаемого???

 Профиль  
                  
 
 __Ответ__
Сообщение05.06.2007, 23:07 


17/05/07
6
А что тут непонятного?!
По-моему понятию булева Алгебра имеет тестную связь с теорией множеств. Данные идеи подчеркнуты мной на основе книги "Введение в конечную математику" Кемени Дж., Снелл Дж., Томпсон Дж. – М.: Изд-во иностранной литературы, 1963.
Если вы не согласны - обоснуйте пожалуйста...

 Профиль  
                  
 
 
Сообщение05.06.2007, 23:14 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Brukvalub писал(а):
Вы бы хоть примерчик какой привели из области желаемого???

 Профиль  
                  
 
 
Сообщение06.06.2007, 00:37 
Заслуженный участник


18/03/07
1068
Kgenius, быть может, Вам нужен тот факт, что алгебра множеств — некоторая непустая совокупность подмножеств произвольного множества, замкнутая относительно конечного числа операций объединения, пересечения и дополнения — является булевой алгеброй?

Есть даже то, что называют «теоретико-множественным подходом к теории булевых алгебр». Грубо говоря, он состоит в том, чтобы писать $\cup$ вместо $\vee$ и т. д.

«Наиболее полно этот подход реализован» в книге: Сикорский Р. Булевы алгебры. М.: Мир, 1969.

Между прочим, имеет место и кое-что «обратное» факту из первого абзаца…

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 20 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group