Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Математика (возможно высшая) и методика преподавания информатики / Shpory_po_deskretke_itog.docx
X
- •Формулы логики высказываний и логики предикатов
- •Равносильность в логике высказываний и влогике предикатов
- •Тавтологии
- •Понятие предиката. Кванторы
- •Нормальные формулы логики предикатов
- •Языки. Аксиомы. Правила вывода
- •Вывод. Вывод из гипотез
- •Теорема Дедукции. Следствия
- •Примеры выводимых формул
- •Непротиворечивость ив
- •Полнота ив
- •Правило суммы, произведения
- •Размещения и сочетания
- •Бином Ньютона
- •Разбиение. Полиномиальная теорема
- •Булевы функции
- •Формулы. Равносильность формул
- •Метод рекуррентных соотношений
- •Решение линейных рекуррентных соотношений
- •Понятие производящей функции
- •Интуитивное понятие алгоритма
- •Машины Тьюринга. Вычислимые функции
- •Рекурсивные функции
- •Алгоритмически неразрешимые проблемы
- •Нумерации машин Тьюринга
- •Критерии эффективности алгоритма
- •Полиномиальные и неполиномиальные алгоритмы
- •Основные понятия теории графов
- •Маршруты, цепи, циклы
- •Виды графов
- •Способы задания графов
- •Эйлеровы графы
- •Геометрическая реализация графов
- •Деревья. Лес.
- •Остовное дерево
- •Важнейшие числовые характеристики графов
- •Основные понятия теории кодирования
- •Критерий однозначности алфавитного кодирования
- •Алгоритм распознавания однозначности кодирования
- •Коды Хэмминга
- •Понятие множества
- •Операции над множествами. Свойства
- •Формулы включения и исключения.
-
Формулы включения и исключения.
Формула включения и исключения позволяет находить количество элементво в объединении нескольких множеств.
Лемма 4.4 Мощность | АB|=|A|+|B|-|АB|
Д-во:
Пусть количество элементов во множестве А=n
|A|=n, |B|=m, | АB|=k
Построим соответствующую диаграмму:
| АB|=(n-k)+k+(m-k)=n+m-k=| A|+|B|-|АB|
Чтд
Замечание: Аналогичная формула имеется для определения количества элементов в объединении трех множество:
| АBС|=|A|+|B|+|C|-(|АB|+|АC|+|BC|)+|АBC|
Соседние файлы в папке Математика (возможно высшая) и методика преподавания информатики