Представление булевых функций в СКНФ
Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
Подобные документы
Понятие, предел и непрерывность функции двух переменных. Частные производные первого порядка, нахождение полного дифференциала. Частные производные высших порядков и экстремум функции нескольких переменных. Необходимые условия существования экстремума.
контрольная работа, добавлен 02.02.2014Алгоритм вычисления интегральной суммы для функции нескольких переменных по кривой АВ. Определение понятия криволинейного интеграла второго рода. Представление суммы интегралов двух функций вдоль кривой АВ как криволинейного интеграла общего вида.
презентация, добавлен 17.09.2013Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Представление великой теоремы Ферма как диофантового уравнения. Использование для ее доказательства метода замены переменных. Невозможность решения теоремы в целых положительных числах. Необходимые условия и значения чисел для решения, анализ уравнений.
статья, добавлен 21.05.2009Обзор таблицы производных элементарных функций. Понятие промежуточного аргумента. Правила дифференцирования сложных функций. Способ изображения траектории точки в виде изменения ее проекций по осям. Дифференцирование параметрически заданной функции.
контрольная работа, добавлен 11.08.2009- 56. Функция Дирака
Определение функции Дирака. Задачи, приводящие к определению дельта-функции Дирака. Математическое определение дельта-функции. Применение функции Дирака. Разрывные функции и их производные. Нахождение производных разрывных функций.
дипломная работа, добавлен 08.08.2007 Вычисление пределов функций. Нахождение производные заданных функций, решение неопределенных интегралов. Исследование функции и построение ее графика. Особенности вычисления площади фигуры, ограниченной линиями с использованием определенного интеграла.
контрольная работа, добавлен 01.03.2011Нахождение частных производных по направлению вектора. Составление уравнения касательной плоскости к поверхности в заданной точке. Исследование на экстремум функции двух переменных. Определение условного максимума функции при помощи функции Лагранжа.
контрольная работа, добавлен 14.01.2015- 59. Код Прюфера
Построение диаграммы псевдографа, матрицы инцидентности и матрицы соседства вершин. Восстановление дерева по вектору с помощью алгоритма Прюфера. Построение таблицы истинности для функции и совершенной конъюнктивной и дизъюнктивной нормальной форм.
контрольная работа, добавлен 25.09.2013 Определение точки экстремума для функции двух переменных. Аналог теоремы Ферма. Критические, стационарные точки. Теорема "Достаточное условие экстремума", доказательство. Схема исследования функции нескольких переменных на экстремум, практический пример.
презентация, добавлен 17.09.2013Нахождение частной производной первого порядка. Определение области определения функции. Расчет производной от функции, заданной неявно. Полный дифференциал функции двух переменных. Исследование функции на экстремум, ее наименьшее и наибольшее значения.
контрольная работа, добавлен 12.11.2014Применение граф-схем - кратчайший путь доказательства теорем. Нахождение искомых величин путем рассуждений. Алгоритм решения логических задач методами таблицы и блок-схемы. История появления теории траекторий (математического бильярда), ее преимущества.
реферат, добавлен 21.01.2011Особенности применения функций Ляпунова для исследования устойчивости различных дифференциальных уравнений и систем. Алгоритм и листинг программы определения устойчивости матрицы на основе использования метода Раусса-Гурвица в среде моделирования Matlab.
реферат, добавлен 23.10.2014Теория инвариантов уравнения линии второго порядка от трех переменных, определение канонического уравнения. Общий пример решения задачи на определение вида и расположения поверхности, заданной относительно декартовой прямоугольной системы координат.
курсовая работа, добавлен 02.06.2013Метод Гаусса, LU-разложение. Прогонка для решения линейных систем с трехдиагональными матрицами коэффициентов. Метод квадратного корня для решения систем: краткая характеристика, теоретическая основа, реализация, тестирование и листинг программы.
курсовая работа, добавлен 15.01.2013- 66. Предел функций
Определение второго замечательного предела. Понятие бесконечно малых функций. Математическое описание непрерывности зависимости одной переменной величины от другой в точке. Точки разрыва функции. Свойства и непрерывность ее в интервале и на отрезке.
презентация, добавлен 14.11.2014 Применение метода интервалов для решения неравенств. Формула перехода от простейшего логарифмического неравенства к двойному. Формула решения тригонометрического уравнения. Нахождение множества всех первообразных функции f(x) на области определения.
контрольная работа, добавлен 03.06.2010Понятие линейных и нелинейных списков, иерархическое упорядочение элементов. Дерево - нелинейная структура, состоящая из узлов и ветвей и имеющая направление от корня к внешним узлам. Разработка программы представления бинарных деревьев в виде массива.
курсовая работа, добавлен 27.04.2011Методы условной и безусловной нелинейной оптимизации. Исследование функции на безусловный экстремум. Численные методы минимизации функции. Минимизация со смешанными ограничениями. Седловые точки функции Лагранжа. Использование пакетов MS Excel и Matlab.
лабораторная работа, добавлен 06.07.2009Методы нахождения минимума функций градиентным методом наискорейшего спуска. Моделирование метода и нахождение минимума функции двух переменных с помощью ЭВМ. Алгоритм программы, отражение в ней этапов метода на языке программирования Borland Delphi 7.
лабораторная работа, добавлен 26.04.2014Сущность и графическое представление методов решения нелинейных уравнений вида F(x)=0. Особенности метода хорд, бисекции, простой итерации, касательных и секущих. Проверка результатов с помощью встроенных функций и оценка точности полученных значений.
контрольная работа, добавлен 09.11.2010Сущность графического метода нахождения оптимального значения целевой функции. Особенности и этапы симплексного метода решения задачи линейного программирования, понятие базисных и небазисных переменных, сравнение численных значений результатов.
задача, добавлен 21.08.2010Общая характеристика и особенности двух методов решения обычных дифференциальных уравнений – Эйлера первого порядка точности и Рунге-Кутта четвёртого порядка точности. Листинг программы для решения обычного дифференциального уравнения в Visual Basic.
курсовая работа, добавлен 04.06.2010Введение понятия переменной величины. Развитие интегральных и дифференциальных методов. Математическое обоснование движения планет. Закон всемирного тяготения Ньютона. Научная школа Лейбница. Теория приливов и отливов. Создание математического анализа.
презентация, добавлен 20.09.2015Понятие генетического алгоритма и механизм минимизации функции многих переменных. Построение графика функции и ее оптимизация. Исследование зависимости решения от вида функции отбора родителей для кроссинговера и мутации потомков, анализ результатов.
контрольная работа, добавлен 04.05.2015