
Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:первые 21.doc
X
- •Отношения между множествами
- •Действия над множествами
- •Свойства действий над множествами ∩
- •Свойства действий над множествами u
- •Отношения и функции
- •Произведение множеств
- •Свойства бинарных отношений
- •Функции (инъективная, сюръективная, биективная)
- •Свойства биективных функций
- •Специальные бинарные отношения
- •Классы эквивалентности
- •Отношения порядка
- •Понятие алгебры
- •Изоморфизм групп
- •Сравнение множеств. Мощность (конечные множества)
- •Сравнение множеств. Мощность (бесконечные множества)
- •Теоремы о счетных множествах
- •Теоремы о мощности множеств
- •Размещения с повторениями и без повторений
- •3. Размещение без повторений
- •Перестановки и сочетания
- •5. Сочетания без повторений
- •6. Свойства биномиальных коэффициентов
- •Бином Ньютона
- •Булева алгебра, элементарные функции (0-5)
- •Булева алгебра, элементарные функции (6-11)
- •Основные эквивалентности алгебры логики
Основные эквивалентности алгебры логики
Свойства:
1) коммутативность
2) ассоциативность
3) дистрибутивность
а)
б)
в)
4) правила Деморгана
а)
б)
5) правила поглощения
а)
б)
6)
а)
б)
7
а)
б)
в)
г)
д)
8)
а)
б)
в)
9)
а)
б)
Примеры
Доказать эквивалентность формул
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]