- •Раздел 1. Алгебраические структуры Тема 1.1. Бинарные операции и их свойства
- •Тема 1.2. Алгебраические структуры
- •Тема 1.3. Основные свойства групп
- •Тема 1.4. Поля и кольца
- •Раздел 2. Алгебра множеств Тема 2.1. Основные определения теории множеств
- •Тема 2.2. Подмножество, понятие универсального множества
- •Тема 2.3. Операции над множествами
- •Раздел 3. Основные теоремы комбинаторики
- •Тема 3.1. Метод математической индукции
- •Тема 3.2. Основные принципы комбинаторики
- •Раздел 4. Комбинаторные объекты Тема 4.1. Сочетания
- •Тема 4.2. Размещения и перестановки
- •Раздел 5. Полиномиальные тождества Тема 5.1. Бином Ньютона
- •Тема 5.2. Понятие о методе рекуррентных соотношений
- •Тема 5.3. Метод производящих функций
- •Тема 5.4. Метод траекторий
- •Тема 5.5. Примеры комбинаторных задач
- •Раздел 6. Соответствие, отношение, отображение Тема 6.1. Понятие кортежа. Декартово произведение множеств
- •Тема 6.2. Определения и свойства
- •Тема 6.3. Типы отношений
- •Пересечение и объединение отношений
- •Композиция отображений и отношений
- •Тема 6.5. Решётки
- •Тема 6.4. Верхняя и нижняя границы множества.
- •Раздел 7. Операции булевой алгебры Тема 7.1.Понятие высказывания, простые и составные высказывания
- •Тема 7.2.Операции на множестве высказываний
- •Отрицание
- •Конъюнкция
- •Дизъюнкция
- •«Исключающее или»
- •Импликация
- •Эквивалентность
- •Штрих Шеффера
- •Раздел 8. Законы и тождества Булевой алгебры Тема 8.1.Формулы Булевой алгебры
- •Тема 8.2.Законы и тождества Булевой алгебры
- •Тема 8.3.Составление формулы по заданной таблице истинности
- •Тема 8.4. Двойственность
- •Тема 8.5.Булева алгебра и теория множеств
- •Тема 8.6.Днф, интервалы и покрытия
- •Раздел 9. Функциональная полнота. Алгебра Жегалкина
- •Тема 9.1.Функционально полные системы
- •Тема 9.2.Алгебра Жегалкина и линейные функции
- •Тема 9.3.Замкнутые классы. Монотонные функции
- •Тема 9.4.Теоремы о функциональной полноте
- •Раздел 10. Хорновские формулы
- •Тема 10.1.Задача получения продукции
- •Тема 10.2.Решение задачи о продукции
- •Алгоритм замыкание(X,f)
- •Алгоритм ПрямаяВолна(X,y,f)
- •Алгоритм БыстроеЗамыкание(X,f)
- •Раздел 11. Теория релейно-контактных схем Тема 11.1.Основные понятия
- •Тема 11.2.Основные задачи теории релейно-контактных схем
- •Тема 11.3.Построение машины голосования
- •Тема 11.4.Двоичный сумматор
- •Тема 11.5.Методы упрощения логических выражений. Методы решения логических задач
- •Раздел 12. Логика предикатов Тема 12.1.Определение предиката
- •Тема 12.2.Логические операции над предикатами
- •Тема 12.3.Кванторы
- •Тема 12.4. Истинные формулы и эквивалентные соотношения
- •Тема 12.5.Доказательства в логике предикатов
- •Раздел 13. Теория графов
- •Тема 13.1.Основные определения теории графов
- •Тема 13.2. Способы задания графов
- •Тема 13.3. Отношения порядка и эквивалентности на графе
- •Тема 13.4. Числовые характеристики графа
- •Тема 13.5.Изоморфизм графов
- •Раздел 14. Проблемы достижимости на графах Тема 14.1.Граф достижимости
- •Тема 14.2.Взаимная достижимость, компоненты сильной связности и базы графа
- •Раздел 15. Некоторые классы графов Тема 15.1.Деревья
- •Тема 15.2. Обход графа
- •Тема 15.3. Расстояния. Диаметр, радиус и центр графа. Протяжённости.
- •Раздел 16. Машина Тьюринга
- •Тема 16.1. Формальное описание машины Тьюринга
- •Тема 16.2. Примеры построения машины Тьюринга
- •Тема 16.3. Свойства машины Тьюринга как алгоритма
- •Раздел 17. Машина Поста
- •Тема 17.1. Теоретическая часть. Состав машины Поста
- •Тема 17.2. Применимость программ. Определение результата выполнения программ
- •Раздел 18. Основные понятия теории автоматов Тема 18.1. Общие подходы к описанию устройств, предназначенных для обработки дискретной информации
- •Тема 18.2. Способы задания конечного автомата
- •Тема 18.3. Эквивалентные автоматы
- •Тема 18.4. Автоматы Мура и Мили
- •Тема 18.5. Примеры синтеза автоматов
Пересечение и объединение отношений
Определение:Пустьиотношения на множестве . Пересечение отношенийи объединениеесть некоторое подмножество .
Теорема:Пусть и отношения на множестве . Если и рефлексивны, то и так же обладают свойством рефлексивности. Если и симметричны, то и так же обладают свойством симметричности. Если и антисимметричны, то – антисимметрично, а может не обладать свойством антисимметричности. Если и транзитивны, то – транзитивно, а может не обладать свойством транзитивности.
Доказательство:Еслиирефлексивны, то. Следовательно.
Композиция отображений и отношений
Определение:Пусть– отображение множества на множество иотображение множества на множество . Композицией отображенийназывается отображение множества на множествоесли и только еслии.
Замечание:Аналогичное определение следует сформулировать и для композиции отношений.
Пример 6.9:Пустьи– отношения на множестве людей.– если и только если– матьи– если и только если– отец. Тогда отношениеесли и только если– бабушка по отцовской линии для. Отношение жеесли и только если– дедушка по материнской линии для.
Тема 6.5. Решётки
До сих пор нами рассматривались множества, на которых заданы операции. Множества, на которых кроме операций, заданы отношения, называются алгебраическими системами.Таким образом, алгебры можно считать частным случаем алгебраических систем, у которых множество алгебраических отношений пусто. Другим частным случаем алгебраических систем являются модели – множества, на которых заданы только отношения.
Рассмотрим здесь лишь один пример алгебраической системы, который наиболее часто встречается в теоретической алгебре и её приложениях – решётки.
Определение:Решёткойназывается множество, частично упорядоченное отношением нестрогого порядка, с двумя бинарными операциямии, такое что выполнены следующие условия (аксиомы решётки):
1. (идемподентность);
2. (коммутативность);
3. (ассоциативность);
4. (поглощение).
Решётка называется дистрибутивной, если выполняются два следующих условия и.
Определение:Если в решётке существует элемент 0, такой что для любоговыполняется, то он называетсянижней гранью(нулём) решётки.
Определение:Если в решётке существует элемент 1, такой что для любоговыполняется, то он называетсяверхней гранью(единицей) решётки.
Определение:Решётка, имеющая верхнюю и нижнюю грани, называетсяограниченной.
Теорема:Если нижняя (верхняя) грань решётки существует, то она единственная.
Определение:В ограниченной решётке элементназываетсядополнением элемента, еслии.
Пример 6.10:
а) Любое полностью упорядоченное множество, например, множество целых чисел, можно превратить в решётку, определив для любых , чтои.
б) Определим на множестве натуральных чисел отношение частичного порядка следующим образом: , еслиявляется делителем. Тогдаесть наименьшее общее кратное этих чисел, аих наибольший общий делитель.
Решётка, в которой пересечение и объединение существуют для любого подмножества её элементов, называется полной. Конечная решётка всегда полна.
Тема 6.4. Верхняя и нижняя границы множества.
Эти понятия введены на любом множестве, на котором установлено отношение порядка.
Определение: называется верхней граньюнекоторого множества , если
Определение:Точной верхней граньюмножества называется наименьшая из верхних граней множества и обозначается .
Определение:называетсянижней граньюнекоторого множества, если.
Определение:Точной нижней граньюназывается наибольшая из нижних граней множества и обозначается.