- •«Дискретная математика»
- •Множества и отношения Тема 1. Основные понятия теории множеств Множества и основные операции над ними
- •Кортеж. Декартово произведение
- •Мощность множества
- •Тема 2. Элементы комбинаторики Комбинаторные вычисления
- •Основные понятия комбинаторики
- •Размещения
- •Перестановки
- •Сочетания
- •Определение числа сочетаний с повторениями
- •Бином Ньютона
- •Решение комбинаторных уравнений
- •Метод включений и исключений
- •Рекуррентные соотношения. Возвратные последовательности
- •Тема 3. Отношения на множествах Отношения. Функции. Взаимно однозначные соответствия
- •Отношения эквивалентности и разбиения. Фактор-множества
- •Отношения порядка
- •Тема 4. Элементы теории графов
- •Определение и примеры графов
- •Связность графа
- •Обзор основных задач теории графов
- •Расчет сетевого графика
- •Резервы сетевого графика
- •Сети Петри
- •Маршруты
- •Степени вершин
- •Раскраски графов
- •Планарные графы
- •Изоморфизм графов
- •Алгебра и топология Тема 1. Элементы общей алгебры Операции на множествах
- •Унарные операции алгебры поворотов квадрата
- •Группа подстановок Галуа
- •Алгебра множеств (алгебра Кантора)
- •Алгебраические системы. Решетки
- •Задание множеств конституентами
- •Задание множества а двоичным числом
- •Пересечение множеств № 12 и № 5
- •Тема 2. Булевы функции
- •Табличное задание булевых функций
- •Задание булевой функции
- •Задание булевых функций одной переменной
- •Задание булевых функций двух переменных
- •Аналитическое задание булевых функций
- •Задание булевой функции голосования
- •Полные системы булевых функций
- •Тема 3. Алгебраические системы Определения и примеры
- •Подсистемы
- •Конгруэнции. Фактор-алгебры. Теорема о гомоморфизме
- •Тема 4. Элементы общей топологии
- •Топологические пространства, сходимость к точке и направленности
- •Фильтры и ультрафильтры
- •Булевы решетки подмножеств
- •Атомы и шкалы решеток подмножеств
- •Алгебра логики Тема 1. Алгебра логики высказываний Формулы алгебры логики
- •Функции алгебры логики
- •Эквивалентность формул
- •Дизъюнктивные и конъюнктивные нормальные формы
- •Минимизация булевых функций в классе днф
- •Карты Карно
- •Логические сети Определение и реализация булевых функций
- •Схемы из функциональных элементов
- •Мультиплексоры
- •Программируемые логические матрицы
- •Тема 2. Логика предикатов Предикаты. Кванторы
- •Формулы логики предикатов
- •Правила преобразования формул логики предикатов
- •Тема 3. Элементы теории доказательств Аксиоматическая (формальная) теория. Исчисление предикатов
- •Метод резолюций
- •Хорновские дизъюнкты
- •Унификация. Метод резолюций в логике предикатов
- •Тема 4. Алгоритмы Понятие об алгоритмах. Схемы алгоритмов Понятие об алгоритме и теории алгоритмов
- •Схемы алгоритмов
- •Описание символов, используемых в схемах алгоритмов
- •Неразрешимые алгоритмические проблемы
- •Конечные автоматы и регулярные языки Тема 1. Синтаксис языков Алфавит, слово, язык
- •Классификация грамматик и языков
- •Регулярные языки и регулярные выражения
- •Тема 2. Переключательные функции и способы их задания Понятие о переключательных функциях
- •Некоторая трехзначная переключательная функция двух переменных
- •Трехзначная пф «дизъюнкция а, b »
- •Трехзначная пф «сумма a, b по модулю 3»
- •Трехзначная пф «а плюс 1 по модулю 3 — циклический сдвиг а»
- •Двоичные переключательные функции и способы их задания
- •Одномерная таблица истинности некоторой функции
- •Двухмерная таблица истинности
- •Основные бинарные логические операции
- •Бинарная конъюнкция
- •Бинарная конъюнкция
- •Бинарная дизъюнкция
- •Бинарная инверсия
- •Импликация
- •Эквиваленция
- •Функциональная полнота систем переключательных функций
- •Линейные функции двух переменных
- •Базисы представления переключательных функций
- •Переключательные функции от трех аргументов
- •Векторы переключательных функций
- •Вектор свойств пф
- •Цель минимизации переключательных функций
- •Тема 3. Элементы теории конечных автоматов Основные определения теории конечных автоматов
- •Понятие о технической интерпретации конечных автоматов
- •Синтез комбинационных автоматов в заданном базисе Синтез комбинационных автоматов
- •Синтез переключательной схемы
- •Синтез в базисе и, или, не
- •Синтез методом каскадов
- •Синтез в базисах и-не, или-не
- •Элементарные автоматы памяти на основе комбинационного автомата и задержки
- •Первичная таблица переходов-выходов
- •Синтез автомата-распознавателя последовательности
- •Первичная таблица переходов-выходов распознавателя 0-1-3-2
- •Тема 4. Элементы теории кодирования
- •Проблема кодирования сообщений
- •Расстояние Хемминга
- •Групповые коды
- •Хемминговы коды
Алгебра и топология Тема 1. Элементы общей алгебры Операции на множествах
Алгеброй А называется
совокупность <> множества М с заданными
на нем операциями
A = <
M ,
S
>, где множество М —
носитель, S
— сигнатура алгебры. Каждый
первый индекс у идентификатора операции
указывает ее местность.
Алгебра типа <М, φ 2 >, т. е. алгебра с бинарной операцией, называется группоидом .
Рассмотрим квадрат с
вершинами в точках а1
, а2
, а3
, а4
, пронумерованных против часовой
стрелки, и повороты квадрата вокруг
центра также против часовой стрелки,
переводящие вершины в другие вершины.
Таких поворотов бесконечное множество:
на углы
однако
они задают всего четыре различных
отображения множества вершин в себя,
соответствующих первым четырем
поворотам.
Можно сказать, что задана алгебра А = <М, φ 1 > с основным множеством М = {а1 , а2 , а3 , а4 } и четырьмя унарными операциями М ↦ М, которые обозначим буквами α, β, ν, δ. Зададим эти операции табл. 1.
Таблица 1
Унарные операции алгебры поворотов квадрата
Можно интерпретировать такие операции также циклическими сдвигами битов информации вида:
Множество 0 = { α, β, ν, δ} отображений вершин в себя вместе с бинарной операцией 02 ↦ 0 последовательного выполнения отображений (выполнения поворота за поворотом, композиции поворотов), которую обозначим символом «¤», образует алгебру с бинарной операцией <0, ¤>. Она задается табл. 2, в которой на пересечении строки i и столбца j записан результат операции i ¤ j .
Таблица 2
Бинарные операции 02 ↦ 0 алгебры композиций поворотов квадрата
Такая таблица (см. табл. 2), задающая бинарную операцию, называется таблицей Кэли.
Можно представить бинарной операцией, например, смешивание красок, когда из двух цветов получается третий, входящий во множество всех цветов.
Пусть А = <М, φ 2 > — группоид. Обозначим, как и в предыдущем примере, φ 2 символом ¤.
Тогда элемент n ∈ M называется правым нейтральным элементом группоида А, если для всякого m ∈ M выполняется равенство m ¤ n = m .
Для левого нейтрального элемента выполняется равенство n ¤ m = m .
В дальнейшем для краткости вместо слов «все», «всякий» будем использовать символ V (перевернутая буква ∀ — первая буква английского слова All — все, этот символ называется еще квантором общности ; квантор существования обозначается ∃ и означает «существует», «имеется», «есть»).
Элемент n , являющийся одновременно и левым, и правым нейтральным элементом, называют двухсторонним нейтральным элементом или просто нейтральным элементом.
Для смешивания красок нейтральный элемент — бесцветный лак.
Если группоид <М, ¤> мультипликативный, т. е. его бинарная операция ¤ имеет тип умножения (·), то нейтральный элемент называется единицей и обозначается 1. Если группоид аддитивный, т. е. бинарная операция ¤ имеет тип сложения (+), то нейтральный элемент называется нулем и обозначается 0. Нейтральный элемент в группоиде всегда единственный.
Коммутативный группоид, т. е. группоид, в котором
( ∀ x , у ∈ М) (х ¤ у = у ¤ х),
называется коммутативным или абелевым.
Группоид, в котором выполняется закон ассоциативности
( ∀ x , у, z ∈ М) (х ¤ (у ¤ z ) = (х ¤ у) ¤ z ),
называется ассоциативным или полугруппой.
Полугруппа с единицей называется моноидом . В алгебре поворотов квадрата (см. табл. 2) единицей служит поворот на нулевой угол (α).
Группой называется полугруппа с единицей, в которой для каждого элемента а существует элемент а–1 , называемый обратным (а ¤ а–1 = а–1 ¤ а = n ), и каждое из уравнений а ¤ х = b , у ¤ а = b обладает единственным решением.
В алгебре поворотов квадрата (см. табл. 2), являющейся группой, обратным к данному повороту является поворот, дополняющий его до 2π:
Группа, все элементы которой являются степенями одного элемента а, называется циклической . Циклическая группа всегда абелева.
Множество рациональных
чисел, не содержащее нуля, с операцией
умножения является абелевой
группой. Обратным к
элементу а является элемент
.
