- •1. Концепция процесса: основные понятия определения и соглашения.
- •2. Концептуальная модель времени в теории асинхронных процессов. Глобальные свойства процессов.
- •3. Множества. Основные определения и функции. Равенство множеств.
- •4. Способы задания множеств: порождающие и разрешающие процедуры.
- •5. Конструктивные аксиомы общей теории множеств.
- •6. Покрытия, разбиения, множество-степень, классы эквивалентности. Понятие фактор-множества.
- •7. Алгебра множеств.
- •8. Понятие комплекта. Основные определения и характеристики комплектов. Способы записи комплектов.
- •Мощность. Мощность есть общее число экземпляров элементов в комплекте: .
- •9. Алгебра над комплектами. Одноместные, двуместные, многоместные операции. Носители результатов выполнения операций. Свойства операций.
- •10. Отображение Париха. Отношение порядка над комплектом.
- •11. Упорядоченные комплекты. Кортежи. Отношение следования (предшествования) в кортежах.
- •12. Равенство кортежей. Стандартные операции над кортежами.
- •Операции
- •13. Алгебра кортежей. Голова, префикс, подпоследовательность кортежа.
- •14. Соответствия: определения, свойства соответствий. Понятия функции и отображения.
- •15. Отношения: основные определения, способы задания. Отношения тождества, универсальное и обратное отношение.
- •16. Составные отношения. Алгебра отношений.
- •17. Свойства отношений. Эквивалентность и классы эквивалентности по заданному отношению.
- •18. Задача минимизации функций алгебры логики. Теоремы Квайна и Мак-Класски.
- •19. Покрытие n-мерного бинарного векторного пространства, Многомерный гиперкуб.
- •20. Приведенная система простых ипликант и конъюнктивная форма импликантной матрицы.
- •21. Теоремы Квайна и Мак-Класски и минимизация булевских функций на n-мерных гиперкубах – доказательство.
- •22. Элементы гиперкуба и элементы функции. Основные элементы функции и простые импликанты. Понятие приведенной системы простых импликант.
22. Элементы гиперкуба и элементы функции. Основные элементы функции и простые импликанты. Понятие приведенной системы простых импликант.
Элемент гиперкуба– множество2kвершин гиперкуба таких, что(n-k)координат у них совпадают.
Основной элемент гиперкуба– такой элемент гиперкуба, кот. не явл. подмн-вом никакого другого элемента гиперкуба:неj[ij]
Элемент функции– элемент гиперкуба, такой, что все его вершины принадлежат множеству истинности функции.
Основной элемент функцииопределяется по аналогии с осн. элементом гиперкуба.
Совокупность простых элементов функции называется приведенной оболочкой функции.
Приведенная оболочка функции явл. минимальной ДНФ этой функции.
Импликанта называется простой, если любая её собственная часть импликантой не является.
Импликантойдля данной функции является функция, множество истинности которой включено в множество истинности исходной функции.
Или через мн-во ложности:
Система простых импликант некоторой булевской функции, не содержащая избыточных простых импликант, называется приведенной системой простых импликантили неизбыточной.