Дизъюнктивные нормальные формы
Представление булевой функции в виде дизъюнктивной нормальной формы. Выражение всех логических операции в формуле через конъюнкции, дизъюнкции и отрицания. Сокращение количества слагаемых, входящих в формулу и количества переменных, входящих в слагаемое.
Подобные документы
Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
учебное пособие, добавлен 20.08.2014Сокращение трудоемкости разработки трехмерных геометрических моделей, требования к квалификации дизайнерской разработки. Внешние переменные модели в эскизах и создание путем присвоения размерам имен переменных. Фиксированный размер и управление моделью.
презентация, добавлен 12.03.2012Способы определения точного значения интеграла по формуле Ньютона-Лейбница и приближенного значения интеграла по формуле трапеций. Порядок нахождения координаты центра тяжести однородной плоской фигуры ограниченной кривой, особенности интегрирования.
контрольная работа, добавлен 16.04.2010Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008Нахождение частной производной первого порядка. Определение области определения функции. Расчет производной от функции, заданной неявно. Полный дифференциал функции двух переменных. Исследование функции на экстремум, ее наименьшее и наибольшее значения.
контрольная работа, добавлен 12.11.2014Нахождение частных производных по направлению вектора. Составление уравнения касательной плоскости к поверхности в заданной точке. Исследование на экстремум функции двух переменных. Определение условного максимума функции при помощи функции Лагранжа.
контрольная работа, добавлен 14.01.2015Математическая формулировка задачи, существующие численные методы и схемы алгоритмов. Интерполирование функции, заданной в узлах, методом Вандермонда. Среднеквадратичное приближение функции. Вычисление интеграла функций по составной формуле трапеций.
курсовая работа, добавлен 14.04.2009Бесселевы функции с любым индексом. Формулы приведения для бесселевых функций. Интегральное представление бесселевых функций с целым индексом. Ряды Фурье-Бесселя. Асимптотическое представление бесселевых функций для больших значений аргумента.
курсовая работа, добавлен 22.09.2008Методы решений иррациональных уравнений. Метод замены переменных. Линейные комбинации двух и более радикалов. Уравнение с одним радикалом. Умножение на сопряженное выражение. Метод решения уравнений путем выделения полных квадратов под знаком радикала.
контрольная работа, добавлен 15.02.2016Алгоритм перехода к каноническому виду стандартной формы ЗЛП. Симплексные преобразования при изменении базисных переменных. Графический способ упорядочения вершин. Расчет параметров сетевого графика. Устойчивость решений ЗЛП при изменении параметров.
учебное пособие, добавлен 14.07.2011Вычисление пределов гиперболических функций. Дифференцирование сложной функции. Разложение гиперболических функций по формуле Тейлора. Свойства неопределенного интеграла, интегрирование функций. Гиперболические функции комплексного переменного.
дипломная работа, добавлен 11.01.2011Метод Гаусса–Жордана: определение типа системы, запись общего решения и базиса. Выражение свободных переменных с использованием матричного исчисления. Нахождение координат вектора в базисе. Решение системы уравнений по правилу Крамера и обратной матрицей.
контрольная работа, добавлен 17.12.2010Математическое представление, условия возрастания и убывания функции y=f(x); характеристика ее основных свойств - четности, монотонности, ограниченности и периодичности. Ознакомление с аналитическим, графическим и табличным способами задания функции.
презентация, добавлен 21.09.2013Расчет частных производных первого порядка. Поиск и построение области определения функции. Расчет полного дифференциала. Исследование функции на экстремум. Поиск наибольшего и наименьшего значения функции в замкнутой области. Производные второго порядка.
контрольная работа, добавлен 06.05.2012Построение сигнального графа и структурной схемы системы управления. Расчет передаточной функции системы по формуле Мейсона. Анализ устойчивости по критерию Ляпунова. Синтез формирующего фильтра. Оценка качества эквивалентной схемы по переходной функции.
курсовая работа, добавлен 20.10.2013Понятие генетического алгоритма и механизм минимизации функции многих переменных. Построение графика функции и ее оптимизация. Исследование зависимости решения от вида функции отбора родителей для кроссинговера и мутации потомков, анализ результатов.
контрольная работа, добавлен 04.05.2015Методы условной и безусловной нелинейной оптимизации. Исследование функции на безусловный экстремум. Численные методы минимизации функции. Минимизация со смешанными ограничениями. Седловые точки функции Лагранжа. Использование пакетов MS Excel и Matlab.
лабораторная работа, добавлен 06.07.2009Построение логических взаимосвязей между цветами при помощи аппарата дискретной математики. Структуры объекта в виде множеств, граф отношений между ними. Исследование на рефлексивность, транзитивность, симметричность. Матрицы смежности и инцидентности.
контрольная работа, добавлен 07.06.2010- 94. Булевы функции
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа, добавлен 20.01.2011 Понятие предикатов и кванторов, порядок составления логических формул. Запись предиката как множество высказываний, формулы их исчисления. Аксиоматическое и натуральное представление узкого исчисления предикатов, погружение аристотелевской силлогистики.
контрольная работа, добавлен 12.08.2010- 96. Функции Бесселя
Функции Бесселя с целым положительным и произвольным значком. Общее представление цилиндрических функций. Функции Бесселя второго и третьего рода. Цилиндрические функции с индексом, равным половине нечетного целого числа. Нули цилиндрических функций.
курсовая работа, добавлен 03.04.2011 Операции логики с понятием "суд". Объединённая классификация суждений, их логические обозначения. Составные части сложного суждения, запись их с помощью символов, пропозициональных союзов. Полный разбор силлогизма. Запись формально-логического закона.
контрольная работа, добавлен 23.10.2013Вычисление вероятностей возможных значений случайной величины по формуле Бернулли. Расчет математического ожидания, дисперсии, среднеквадратического отклонения, медианы и моды. Нахождение интегральной функции, построение многоугольника распределения.
контрольная работа, добавлен 28.05.2012Сущность теории множеств и особенности ее практического применения. Операции над множествами и их главные закономерности. Порядок нахождения области определения функции, участков ее возрастания и убывания. Определение вероятности исследуемого действия.
контрольная работа, добавлен 02.12.2011Определение МДНФ логической функции устройства различными методами (Квайна, Петрика, неопределенных коэффициентов и др.). Составление алгоритма метода минимизации функции и разработка его рабочих программ. Выполнение синтеза схемы логического устройства.
курсовая работа, добавлен 21.11.2010