Минимизация дизъюнктивной нормальной формы
Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
Подобные документы
Теоремы о дифференцировании сложной функции двух переменных. Необходимое и достаточное условия экстремума функции нескольких переменных. Интегрирование тригонометрических, рациональных функций, некоторых видов иррациональностей. Задача и теорема Коши.
шпаргалка, добавлен 25.01.2016Виды простых ставок. Формула наращения сложных процентов. Формула наращения по простой процентной ставке. Математическое дисконтирование и сложные проценты. Сравнение роста по сложной и простой процентной ставке. Определение переменных процентных ставок.
контрольная работа, добавлен 06.03.2010Понятие множества, операции над ними. Основные элементарные функции, их графики. Односторонние пределы функции одной переменной. Бесконечно малые функции, их классификация. Непрерывность и дифференцируемость. Линии уровня и градиент функции переменных.
учебное пособие, добавлен 10.12.2012Минимизация функции с начальной точкой и заданным шагом. Описание метода деформируемого многогранника Нелдера-Мида. Создание алгоритма, определение входных и выходных параметров. Анализ полученных результатов. Достоинства и недостатки методики расчета.
лабораторная работа, добавлен 18.05.2016Изучение метода последовательного исключения переменных. Элементарные преобразования строк расширенной матрицы. Доказательство теоремы Крамера. Нахождение обратной матрицы методом Гаусса. Определение числовых значений главных неизвестных через свободные.
лекция, добавлен 29.09.2013Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
научная работа, добавлен 15.09.2012Формализация описания конечного автомата (граф, таблицы переходов и выходов). Формирование функций выходов и функций возбуждения памяти автомата. Минимизация функций выходов и функций возбуждения памяти автомата, отображение результатов на картах Карно.
контрольная работа, добавлен 01.01.2013Теорема о непрерывности производных недифференцируемых функций. Определение координат в окрестности точки. Частные приращения по переменной и образованной от существующих пределов. Понятие дифференцируемости и производной сложной формулы двух аргументов.
лекция, добавлен 26.01.2014Постановка задачи одномерной минимизации и классификация одномерных функций. Алгоритм Свенна для поиска интервала унимодальности. Разработка алгоритма последовательной квадратичной аппроксимации. Расчет коэффициентов аппроксимации в Microsoft Excel.
курсовая работа, добавлен 19.06.2014Математическое построение оптимального плана и нахождение экстремального значения его функции. Построение двойственной задачи линейного программирования и её целочисленное решение. Описание области допустимых значений переменных, их максимальные функции.
контрольная работа, добавлен 18.02.2013Плотность распределения нормальной случайной величины. Вычисление ее дисперсии, математического ожидания и среднеквадратического отклонения. Интегральная функция Лапласа. Правило "трех сигм". Понятие "двумерной" величины. Формула условной вероятности.
лекция, добавлен 19.01.2015Исследование и логическое проектирование конечного частично определенного автомата - дискретного преобразователя информации. Построение графа, кодирование данных. Нахождение системы булевых функций для возбуждения триггеров. Составление логической схемы.
курсовая работа, добавлен 09.11.2012Метод простых итераций (метод последовательных приближений). Вычисления для построения графика уравнения системы. Решение системы нелинейных уравнений Microsoft Excel с использованием надстройки "поиск решения". Решения системы уравнений в пакете mathcad.
курсовая работа, добавлен 07.11.2020- 89. Матричный анализ
Сумма элементов матрицы по строкам. Алгоритм нахождения обратной квадратной матрицы и ее определителя. Решение системы линейных уравнений методом Крамера и Гаусса. Построение математической модели экономического процесса и определение плана производства.
контрольная работа, добавлен 21.05.2013 Определение понятия булевой функции как n-местной алгебраической операции на множестве. Нахождение фиктивных и существенных переменных. Алгоритм определения переменных. Принцип построения блок-схемы и листинг для программы нахождения фиктивной функции.
курсовая работа, добавлен 24.04.2011Применение правила Лопиталя к неопределенностям. Составление уравнения касательных к гиперболе. Исследование функции, нахождение экстремумов и построение ее графиков. Вычисление интеграла заменой переменных и с использованием формулы Ньютона-Лейбница.
контрольная работа, добавлен 17.02.2011Решение задачи численным методом с помощью системы линейных уравнений. Перестановка неизвестных в системе уравнений. Столбцы фундаментальной матрицы. Фундаментальная система решений. Определение ранга матрицы. Приведение матрицы к трапециедальному виду.
контрольная работа, добавлен 02.05.2019Описание свойств объясняющих переменных в линейной эконометрической модели. Статистическая информация о реализациях переменной. Вектор и матрица коэффициентов корреляции. Исключение квазинеизменных переменных. Метод показателей информационной ёмкости.
презентация, добавлен 19.01.2015Применение метода простой итерации для решения систем линейных алгебраических уравнений. Оценка погрешности приближенного вычисления. Поиск пределов матрицы. Построение графиков непрерывных функций. Вычисление квадратного корня из положительного числа.
задача, добавлен 28.10.2017Решение системы линейных алгебраических уравнений с тремя неизвестными. Решение системы уравнений методом Крамера. Построение опорного плана транспортной задачи и проверка его оптимальности, построение симплекс-таблицы. Поиск точек экстремума функции.
контрольная работа, добавлен 05.11.2012Суть метода нахождения обратных функций. Основные пути построения таких обратных функций как логарифм, гиперболические и тригонометрические арксинус и арккосинус. Примеры построения обратных функций для гиперкомплексной числовой системы 4-го порядка.
статья, добавлен 29.01.2019Замкнутые и разомкнутые системы. Построение линеаризованной модели для звена, которое описывается нелинейным дифференциальным уравнением. Поиск импульсной характеристики. Определение значений устойчивости замкнутой системы при помощи критерия Гурвица.
контрольная работа, добавлен 25.11.2017Частные производные функции нескольких переменных. Градиент функции, касательная плоскость и нормаль к поверхности. Экстремум функции нескольких переменных. Метод множителей Лагранжа. Решение задач нелинейного программирования с двумя переменными.
учебное пособие, добавлен 17.04.2013Дифференциальное уравнение системы. Вычисление переходной и импульсной переходной характеристики. Построение частотных характеристик в пакете MatLab. Уравнения состояния системы в нормальной и в канонической форме. Проверка коэффициента усиления.
контрольная работа, добавлен 18.06.2015- 100. Приближение переменных динамических объектов управления на основе полиномиальных сплайн-функций
Основные аппроксиманты, которые используются при решении задач приближенного представления функций. Анализ особенностей применения интерполяционных сплайнов при численном дифференцировании. Формула численного интегрирования для кубического сплайна.
статья, добавлен 27.06.2016