Минимизация дизъюнктивной нормальной формы
Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
Подобные документы
- 101. Комплексные числа
Общее понятие и признаки комплексного числа. Тригонометрическая форма комплексного числа. Произведение двух комплексных чисел, формула его вычисления. Корни n-ой степени комплексного числа. Действительная и комплексная степень комплексного числа.
реферат, добавлен 21.08.2017 Рассмотрение кватернионов как некоммуникативной системы гиперкомплексных чисел четвертого порядка; их применение в различных областях науки. Функции вещественных переменных. Сравнение логарифма кватерниона с логарифмами вещественных и комплексных чисел.
статья, добавлен 29.01.2019Определение предела последовательности и предела функций в математике. Бесконечно малые и большие функции и их свойства. Предел постоянной величины равен самой постоянной. Вычисление постоянного множителя. Непрерывность функций нескольких переменных.
презентация, добавлен 02.04.2015Введение дополнительных переменных. Разделение области возможных значений переменных и параметров. Вспомогательные преобразования, приводящие к упрощению выражений. Применение классических формул. Несколько примеров решения задач описанными методами.
контрольная работа, добавлен 08.02.2011- 105. Эластичность функции
Определение понятия дифференциального исчисления производной как предела отношения абсолютных приращений переменных. Эластичность взаимно обратных функций. Переход от одного основания логарифмов к другому, умножение на константу числителя и знаменателя.
лекция, добавлен 30.01.2017 Нахождение области определения функции двух вещественных переменных. Получение уравнения изолиний функции двух вещественных переменных. Нормальный вектор касательной плоскости. Математические модели пары двойственных задач линейного программирования.
контрольная работа, добавлен 25.06.2013- 107. Экстремумы
Классические методы поиска экстремума функции одной переменной. Определение глобального максимума или минимума функции одной переменной. Выпуклые и вогнутые функции. Методы исключения интервалов. Поиск экстремумов функции нескольких переменных.
курсовая работа, добавлен 21.08.2008 Множество чисел как упорядоченное множество бесконечных десятичных дробей. Изучение ограниченных и бесконечно малых последовательностей. Изучение первообразной функции и неопределенного интеграла. Дифференциальное исчисление функций многих переменных.
курс лекций, добавлен 11.05.2015Главные свойства деления и сравнения по ненулевому рациональному модулю четных чисел. Доказательство невозможности решения заданных уравнений в целых числах. Доказательство утверждения о том, что сумма двух простых нечетных чисел есть чётным числом.
статья, добавлен 03.03.2018- 110. Определение матрицы
Определение квадратной матрицы, на главной диагонали которой стоят единицы. Построение матрицы В, элементы которой получены путем умножения каждого элемента матрицы А на это число. Определение бесконечно большой величины. Правила дифференцирования.
контрольная работа, добавлен 08.10.2014 Вычисление неопределенных и определенных интегралов, проверка результатов дифференцированием. Определение площади фигуры, ограниченной параболой и прямой. Дифференциальное исчисление функций нескольких переменных. Примеры решений системы уравнения.
контрольная работа, добавлен 16.04.2012Механизм расчета выходного показателя по заданным управляющим факторам для имитации установки с использованием математической модели. Анализ ортогонального композиционного плана второго порядка для нормированных переменных и реальных значений факторов.
контрольная работа, добавлен 18.07.2017- 113. Использование матриц
Матрица и её основные свойства, ранг, определитель и способы его поиска, обратная матрица. Решение системы линейных уравнений по формулам Крамера. Использование матрицы в решении системы уравнений и определении длины вектора, поиск базисных решений.
контрольная работа, добавлен 27.11.2015 Сущность и характерные особенности функции нескольких переменных, порядок расчета и анализа ее дифференциала. Определение частных производных. Применение дифференциала к приближенным вычислениям. Метод множителей Лагранжа и наименьших квадратов.
методичка, добавлен 19.09.2017Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Результат множественной регрессионного анализа тарифов на размещение рекламы в журналах. Коэффициенты регрессии и уравнение. Прогнозируемые значения функций и переменных. Данные в уравнение прогнозирования исходной совокупности данных в множествах.
реферат, добавлен 29.09.2013Сведение краевой задачи к задаче Коши. Поиск параметрического семейства решений для системы уравнений. Понятие уравнения "сшивания". Метод стрельбы для нормальной системы обыкновенных дифференциальных уравнений. Геометрическая интерпретация метода.
курсовая работа, добавлен 22.04.2011Матричная форма записи алгебраических операций. Совместные и несовместные системы линейных уравнений. Решение задач матричным методом. Исследование однородной системы методом Гаусса. Вычисление определителя матрицы. Особенности линейных преобразований.
контрольная работа, добавлен 31.01.2014- 119. Метод прогонки
Анализ методов конечных элементов и разностных схем, решающих системы линейных алгебраических уравнений. Характеристика построения матрицы с доминирующей главной диагональю. Обоснование формул в системе краевой задачи для трехточечного уравнения.
презентация, добавлен 30.10.2013 Решение задач с параметрами в школьной программе. Методы решения уравнений и неравенств. Поиск области определения уравнения. Точки пересечения прямой с графиком функции. Система значений переменных. Множество всех допустимых значений уравнения.
контрольная работа, добавлен 04.12.2011Построение однородной системы алгебраического уравнения с равной степенью составляющих многочленов. Обзор тривиальных и нетривиальных решений однородной системы. Составление матрицы линейно независимых координат. Очерк неоднородных решений уравнения.
лекция, добавлен 29.09.2013Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018- 123. Матричный анализ
Понятие функции от матрицы: определение, значение, основные свойства. Построение интерполяционного многочлена Лагранжа-Сильвестра. Спектральная теорема для простых матриц и ее следствие. Характеристика эрмитовых, квадратичных и неотрицательных матриц.
контрольная работа, добавлен 31.10.2010 - 124. Линейные уравнения
Изучение линейных однородных уравнений с постоянными коэффициентами (случай простых и кратных корней), их фазовая плоскость. Расчет показателей нормальной линейной однородной и линейной неоднородной системы с постоянными коэффициентами в математике.
курсовая работа, добавлен 04.01.2016 Изучение понятия дифференциального уравнения. Комбинаций производных функций и независимые переменные. Определения вида постоянных и неопределенных функций. Дифференциальное исчисление, созданное Лейбницем и Ньютоном (1642—1727). Формула бином Ньютона.
презентация, добавлен 26.10.2013