49)Задачи бутлеровской алгебры и размеры пениса мух
Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции), (аналог дизъюнкции), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:
|
| ассоциативность |
|
| коммутативность |
|
| законы поглощения |
|
| дистрибутивность |
|
| дополнительность |
В нотации · + ¯ [показать]
Первые три аксиомы означают, что (A, , ) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
Содержание [убрать] 1 Некоторые свойства 2 Основные тождества 3 Примеры 4 Принцип двойственности 5 Представления булевых алгебр 6 Аксиоматизация 7 См. также 8 Примечания 9 Литература |
[править]Некоторые свойства
Из аксиом видно, что наименьшим элементом является 0, наибольшим является 1, а дополнение ¬a любого элемента a однозначно определено. Для всех a и b из A верны также следующие равенства:
; | ; |
|
; | ; |
|
; | ; | |
|
|
|
; | ; | дополнение 0 есть 1 и наоборот |
; | ; | законы де Моргана |
. |
| инволютивность отрицания |
[править]Основные тождества
В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением ещё нескольких.
Сводная таблица свойств и аксиом, описанных выше:
; | . | 1 коммутативность переместительность |
; | . | 2 ассоциативность сочетательность |
3.1 конъюнкция относительно дизъюнкции | 3.2 дизъюнкция относительно конъюнкции | 3 дистрибутивность распределительность |
; | . | 4 комплементность дополнительность (свойства отрицаний) |
; | . | 5 законы де Моргана |
; | . | 6 законы поглощения |
; | . | 7 Блейка-Порецкого |
; | . | 8 Идемпотентность |
. |
| 9 инволютивность отрицания |
; | . | 10 свойства констант |
; | . | |
дополнение 0 есть 1 ; | дополнение 1 есть 0 . | |
; | . | 11 Склеивание |
См. также Алгебра логики
[править]Примеры
Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются следующей таблицей:
|
|
|
|
|
|
|
|
Эта булева алгебра наиболее часто используется в логике, так как является точной моделью классического исчисления высказываний. В этом случае 0 называют ложью, 1 — истиной. Выражения, содержащие булевы операции и переменные, представляют собой высказывательные формы.
Алгебра Линденбаума — Тарского (фактормножество всех утверждений по отношению равносильности в данном исчислении с соответствующими операциями) какого-либо исчисления высказываний является булевой алгеброй. В этом случае истинностная оценка формул исчисления является гомоморфизмом алгебры Линденбаума — Тарского в двухэлементную булеву алгебру.
Множество всех подмножеств данного множества S образует булеву алгебру относительно операций ∨ := ∪ (объединение), ∧ := ∩ (пересечение) и унарной операции дополнения. Наименьший элемент здесь — пустое множество, а наибольший — всё S.
Если R — произвольное кольцо, то на нём можно определить множество центральных идемпотентов так: A = { e ∈ R : e² = e, ex = xe, ∀x ∈ R }, тогда множество A будет булевой алгеброй с операциями e ∨ f := e + f − ef и e ∧ f := ef.
[править]Принцип двойственности
В булевых алгебрах существуют двойственные утверждения, они либо одновременно верны, либо одновременно неверны. Именно, если в формуле, которая верна в некоторой булевой алгебре, поменять все конъюнкции на дизъюнкции, 0 на 1, ≤ на ≥ и наоборот, то получится формула, также истинная в этой булевой алгебре. Это следует из симметричности аксиом относительно таких замен.
[править]Представления булевых алгебр
Можно доказать, что любая конечная булева алгебра изоморфна булевой алгебре всех подмножеств какого-то множества. Отсюда следует, что количество элементов в любой конечной булевой алгебре будет степенью двойки.
Знаменитая теорема Стоуна утверждает, что любая булева алгебра изоморфна булевой алгебре всех открыто-замкнутых множеств какого-то компактного вполне несвязного хаусдорфоватопологического пространства.
50)решение математических задач excel
51,1) построение кривых 2 порядка на плоскости парабола
у2 = 2рх, где р — параметр параболы, расстояние от фокуса до директрисы, для кривой с горизонтально расположенной осью;
х2 = 2ру — для параболы с вертикально расположенной осью.
51,2) построение кривых 2 порядка на плоскости гипербола
51,3) построение кривых 2 порядка на плоскости эллипс
.
51,4) построение кривых 2 порядка на плоскости окружность
уравнение окружности Ах2 + Ay2 + 2Dx + 2Ey + F=0.
52,1)построение графиков 2 порядка на плоскости эллипсоид
Эллипсоидом -поверхность, которая в некоторой системе декартовых прямоугольных координат определяется уравнением:
Эллипсоид представляет собой замкнутую овальную поверхность, обладающую тремя взаимно перпендикулярными плоскостями симметрии.
52,2) построение графиков 2 порядка на плоскости параболоид (эллиптический, гиперболический)
Эллиптическим поверхность, которая в некоторой системе декартовых прямоугольных координат определяется уравнением:
имеет вид бесконечной выпуклой чаши. Он обладает двумя взаимно перпендикулярными плоскостями симметрии. Точка, с которой совмещено начало координат, называется вершиной эллиптического параболоида; числа р и q называются его параметрами.
Гиперболическим - поверхность, определяемая уравнением
Гиперболический параболоид имеет форму седла. Он обладает двумя взаимно перпендикулярными плоскостями симметрии. Точка, с которой совмещено начало координат, называется вершиной гиперболического параболоида: числа р и q называются его параметрами.
Yandex.RTB R-A-252273-3
- 3)Система счисления. Представление чисел в различных системах. Перевод целых чисел из одной в другую.
- 4)Высказывания и предикаты. Алгебра, высказывание, предикат, булевское, высказывание, логические функции.
- 5)Аксиомы алгебры предикат.
- 6)Информационно-логическая задача(опр)
- 7)Кол-венное измерение инфы. Кол-во инфы. Мера инфы. Мера р. Хартли. Мера к. Шенона
- 8)Объект и предмет информатики
- 9)Структура современной информатики
- 10)Структура программного обеспечения
- 11)Системы програмирования
- 12)Операционные системы
- 13)Понятие алгоритма. Св-ва. Типы. Виды представления алгоритмов. Этапы разработки программы
- 14) Объектно-ориентированное программирование на примере vba.
- 15)Основные понятия объектно-ориентированное программирование
- 16)Объекты. Методы. Свойства. События
- 17)Основы программирования на языке vba
- 2.3. Выражения
- 2.3.1. Виды операций
- 2.3.2. Приоритет выполнения операций
- 18)Алфавит. Комментарии. Имена переменных. Операция присвоения. Математические операции. Операции присвоения. Логические операции.
- 19)Процедуры ,процедуры-функции. Общие процедуры .Процедуры обработки событий .Объявление переменных
- 20) Встроенные функции (математические)
- 21)Условный оператор if…then
- 22)Операторы передачи безусловного перехода по метке goto
- 21)Условный оператор if…then
- 23)Операторы цикла
- 24)Создание процедуры(функции) вызов процедуры
- 25)Работа со строковыми переменными
- 26)Ввод-вывод в vba : inputbox, msgbox,объекты range, cells
- 27)Некоторые приемы оптимизации программ
- 28)Опред одномерного и двумерного массива. Декларация одномерного и двумерного масива в vba
- 29)Алгоритмы ввода вывода одномерного массива. Алгоритм ввода и вывода двумерного массива
- 30)Основные сведения о динамичном массиве.
- 31)Сортировка массива методом пузырька массива
- 32)Сортировка масива методом нахождения минимального элемента массива
- 33)Экранная форма
- 34)Экранная форма( св-ва, методы, события)
- 36)Эл. Кнопка(св-ва, события)
- 37)Элемент Текстовое поле (свойства)
- 38)Эл надпись(св-ва)
- 39)Элемент рамка
- 40)Элемент флажок
- 41)Эл переключатель(св-ва)
- 42)Элемент рисунок
- 43) Размещение элементов управления в форме или на рабочем листе
- 43)Размещение эл упр в форме или на раб листе
- 48)Задачи на измерение единицы измерения информации
- 49)Задачи бутлеровской алгебры и размеры пениса мух
- 52,3) Построение графиков 2 порядка на плоскости гиперболоид (однополосный, двухполюсный)
- 52,4) Построение графиков 2 порядка на плоскости конус 2 порядка
- 59) Транспонирование матрицы