- •1 Принципы системного анализа
- •2) Классификация проблем по степени их структуризации
- •3) Понятие системы, её структура, классификация
- •4 Типовые постановки задач системного анализа
- •5) Характеристика этапов системного анализа
- •6) Процедуры са.
- •7 Анализ структуры системы
- •7) Анализ структуры системы
- •8) Понятие модели. Построение моделей систем.
- •9) Проверка адекватности моделей, анализ неопределенности и чувствительности
- •10) Формирование критериев
- •11) Генерирование альтернатив
- •12) Реализация выбора и принятия решений
- •13) Оптимизационные методы получения детерминированных оценок. Методы линейного программирования
- •21) Постановка задач лин программирования.
- •22)Канонические задачи лин програм.
- •23.Решение линейного программирования.
- •24) Способы описания систем ( модель чёрного ящика)
- •25)Содержательный этап описания сложной системы.
- •26) Классификация задач пр
- •27) Критерии принятия решений и их шкалы
- •28) Выбор альтернатив в многокритериальных задачах
- •29) Условная максимизация
- •30) Нахождение множества Парето
- •31) Выбор в условиях неопределенности
- •32) Методы выбора оптимальных стратегий
- •1 Принцип Вальда максиминный критерий
- •2 Критерий Лапласа
- •33) Сведение многокритериальной задачи к однокритериальной
- •34) Теория игр. Оптимальность в конфликтных ситуациях.
- •35) Теория игр. Игровые динамические задачи
- •36) Понятие информационной системы. Свойства ис. Предназначение ис.
- •38) Информационные системы также классифицируются:
- •38) Классификация информационных систем
- •40) Алгебра логики. Теоремы алгебры логики.
- •41)Алгебра логики. Упрощение логических выражений.
- •42) Алгебра логики. Функциональные схемы.
- •43) Алгебра логики. Дизюнктивная нормальная форма.
- •44)Алгебра логики. Коньюнкивная нормальная форма
- •45) Алгебра логики. Построение логических схем в базисе и-не
- •46)Алгебра логики. Построение логических схем в базисе или-не
- •47)Алгебра логики. Операция искл-или.
- •48)Алгебра логики. Карты Карно.
- •49)Алгебра логики. Принцип и закон двойственности
- •50)Алгебра логики. Теоремы разложения
- •51) Алгебра логики. Разложение Шеннона
- •52)Алгебра логики. Разложение Рида
- •53Алгебра логики. Решение систем логических уравнений с одним неизвестным.
- •54,Алгебра логики. Решение систем логических уравнений с двумя неизвестнымы.
- •55) Алгебра логики. Доказательство тождеств на основе логических уравнений.
- •56) Модели представления знаний. Сетевые модели.
- •57) Модели представления знаний. Фреймовые модели
- •58. Алгоритмы прогнозирования.
- •59) Типы задач в распознавании
- •60 Распознавание образов. Основные методы.
- •61)Нейронные сети. Однослойные сети.
- •62) Нейронные сети. Многослойные сети.
43) Алгебра логики. Дизюнктивная нормальная форма.
Алгебра логики— раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными, ложными или содержащими истину и ложь в разных соотношениях.
Дизъюнкти́вная норма́льная фо́рма(ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции нескольких конъюнкций. Булева формула – формула логики высказываний. Например, следующие формулы записаны в ДНФ:;;;
Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем, т.е. для доказательства, реализованного программно.
Любая булева формула может быть приведена к ДНФ. Впрочем, при этом размер булевой формулы может возрасти экспоненциально. Так, например, 2nконъюнктов потребуется, чтобы записать следующую формулу:
Формальная грамматика, описывающая ДНФ: Следующая формальная грамматика описывает все формулы, приведенные к ДНФ:<ДНФ> → <конъюнкт>; <ДНФ> → <ДНФ> ∨<конъюнкт>;<конъюнкт> → <литерал>;<конъюнкт> → (<конъюнкт>∧<литерал>); <литерал> → <терм>;<литерал> → ¬<терм>, где <терм> обозначает произвольную булеву переменную, <литерал> - константу.
44)Алгебра логики. Коньюнкивная нормальная форма
Алгебра логики – раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными, ложными или содержащими истину и ложь в разных соотношениях.
Конъюнктивной нормальной формой (КНФ) формулыАназывается равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций.Совершенной конъюнктивной нормальнойформулыА(СКНФА) называется КНФА, удовлетворяющая следующим условиям:
1. все элементарные дизъюнкции, входящие в КНФ А, содержат все переменные;
2. все элементарные дизъюнкции, входящие в КНФ А, различны;
3. каждая элементарная дизъюнкция, входящая в КНФ А, содержит переменную один раз;
4. ни одна элементарная дизъюнкция, входящая в КНФ А, не содержит переменную и ее отрицание.
Конъюнктивная нормальная форма (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций. Совершенной конъюнктивной нормальной формой (СКНФ), относительно некоторого заданного конечного набора переменных, называется такая КНФ, у которой в каждую дизъюнкцию входят все переменные данного набора, причём в одном и том же порядке. Поскольку (С)КНФ и (С)ДНФ взаимодвойственны, свойства (С)КНФ повторяют все свойства (С)ДНФ, грубо говоря, «с точностью до наоборот».КНФ может быть преобразована к эквивалентной ей ДНФ путём раскрытия скобок по правилу:
которое выражает дистрибутивность конъюнкции относительно дизъюнкции. После этого необходимо в каждой конъюнкции удалить повторяющиеся переменные или их отрицания, а также выбросить из дизъюнкции все конъюнкции, в которых встречается переменная вместе со своим отрицанием. При этом результатом не обязательно будет СДНФ, даже если исходная КНФ была СКНФ. Точно также можно всегда перейти от ДНФ к КНФ. Для этого следует использовать правило:выражающее дистрибутивность дизъюнкции относительно конъюнкции. Результат нужно преобразовать описанным выше способом, заменив слово «конъюнкция» на «дизъюнкция» и наоборот.