Множества, отношения, графы
Основные понятия теории множеств
Отношения бинарные и n-арные 20
Основные понятия теории графов
Изоморфизм графов
Циклы и разрезы
Доминирующие и независимые множества
Раскраска графа
Обходы графа
Планарные графы
Комбинаторные алгоритмы дискретной математики
Комбинаторные задачи и методы комбинаторного поиска
Задача о кратчайшем покрытии
Задача о вырожденности троичной матрицы
Задача о диагностическом тесте
Задачи о разбиениях
Алгебра логики
Элементы логики высказываний
Тавтологии логики высказываний
Элементы логики предикатов
Элементы абстрактной булевой алгебры. Интерпретации
Отношения между формулами, равносильные преобразования
Нормальные формы
Функциональная полнота
Оптимизация в булевом пространстве
Булево пространство
Булевы функции
Упрощение дизъюнктивных нормальных форм
Минимизация ДНФ: метод Квайна-МакКласки
Минимизация ДНФ: метод Блейка-Порецкого
Визуальный метод минимизации булевых функций
Не полностью определенные булевы функции
Минимизация слабо определенных булевых функций
Нахождение ядра в безызбыточной ДНФ
Метод простых совокупностей
Минимизация систем булевых функций
Минимизация числа аргументов
Ортогонализация ДНФ
Декомпозиция булевых функций
Полиномиальные представления булевых функций
Дифференцирование булевых последовательностей
Дифференцирование булевых функций
Полиномы Жегалкина и Рида-Маллера
Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно
Реализация частичных булевых функций полиномами Жегалкина
Лестничный алгоритм минимизации полиномов Жегалкина
Приближенный алгоритм минимизации полиномов Жегалкина
Элементы теории линейных векторных пространств
Реализация системы частичных булевых функций полиномами Жегалкина
Проектирование логических схем
Системы логического управления и задачи их проектирования
Анализ комбинационных схем
Синтез комбинационных схем
Моделирование логических схем на ЭВМ
Диагностика неисправностей в комбинационных схемах
Контактные схемы
Схемы на транзисторах
Транзисторные матричные схемы
Программируемые логические матрицы
Методы теории автоматов
Понятие и типы конечных автоматов
Представление событий в автоматах
Минимизация полных автоматов
Минимизация частичных автоматов
Кодирование состояний синхронного автомата
Кодирование состояний асинхронного автомата
Алгоритмы логического управления
Алгоритмы и их формальные представления
Сети Петри
Анализ сетей Петри
Параллельные алгоритмы логического управления
Параллельный автомат
Кодирование состояний параллельного автомата
Секвенциальный автомат