Представление булевых функций в СКНФ
Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
Подобные документы
Доказательство теоремы Пифагора методами элементарной алгебры: методом решения параметрических уравнений в сочетании с методом замены переменных. Существование бесконечного количества троек пифагоровых чисел и, соответственно, прямоугольных треугольников.
творческая работа, добавлен 25.06.2009- 102. Рекурсивные функции
Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
курсовая работа, добавлен 12.07.2015 Порядок составления гипотез и решения задач на вероятность определенных событий. Вычисление вероятности выпадения различных цифр при броске костей. Оценка вероятности правильной работы автомата. Нахождение функции распределения числа попаданий в цель.
контрольная работа, добавлен 27.05.2013Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.
презентация, добавлен 21.09.2013- 105. Измеримые функции
Определение и простейшие свойства измеримой функции. Дальнейшие свойства измеримых функций. Последовательности измеримых функций. Сходимость по мере. Структура измеримых функций. теоремы о приближении измеримых функций.
курсовая работа, добавлен 28.05.2007 Степень истинности или ложности высказывания. Операции над нечеткими высказываниями. Отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность высказываний. Типы лингвистических высказываний. Множество нечетких продукций и входных переменных.
лекция, добавлен 15.10.2013Методика решения задач высшей математики с помощью теории графов, ее сущность и порядок разрешения. Основная идея метода ветвей и границ, ее практическое применение к задаче. Разбиение множества маршрутов на подмножества и его графическое представление.
задача, добавлен 24.07.2009Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат, добавлен 24.07.2014Понятие и основные свойства обратной функции. Нахождение функции, обратной данной. Область определения функции. Обратимость монотонной функции. Построение графиков функций и определение их свойств. Симметричность графиков функций относительно прямой у=х.
презентация, добавлен 18.01.2015Определение предела последовательности. Понятие производной и правила дифференцирования. Теоремы Роля, Лангража, правило Лапиталя. Исследования графиков функций. Таблица неопределенных и вычисление определенных интегралов. Функции нескольких переменных.
презентация, добавлен 17.03.2010Разложение многочлена на множители. Область допустимых значений уравнения как множество всех действительных чисел. Утверждения, полезные при решении уравнений. Примеры упражнений, связанных с понятием обратной функции, нестандартные методы решения.
контрольная работа, добавлен 22.12.2011Понятие первообразной функции. Виды иррациональных функций, приемы их интегрирования. Интегрирование рациональных дробей, алгебраических иррациональностей, биномиальных дифференциалов, тригонометрические подстановки. Примеры решения типовых задач.
курсовая работа, добавлен 07.06.2012Вычисление интеграла, выполнение интегрирования по частям. Применение метода неопределенных коэффициентов, приведение уравнения к системе. Введение вспомогательных функций в процессе поиска решения уравнения и вычисления интеграла, разделение переменных.
контрольная работа, добавлен 08.07.2011Изучение методов Рунге-Кутты четвертого порядка с автоматическим выбором длины шага интегрирования для решения дифференциальных уравнений. Оценка погрешности и сходимость методов, оптимальный выбор шага. Листинг программы для ЭВМ, результаты, иллюстрации.
курсовая работа, добавлен 14.09.2010Общие свойства функций. Правила дифференциального исчисления. Неопределенный и определенный интегралы, методы их вычисления. Функции нескольких переменных, производные и дифференциалы. Классические методы оптимизации. Модель потребительского выбора.
методичка, добавлен 07.01.2011Нахождение экстремумов функций методом множителей Лагранжа. Выражение расширенной целевой функции. Схема алгоритма численного решения задачи методом штрафных функций в сочетании с методом безусловной минимизации. Построение линий ограничений.
курсовая работа, добавлен 04.05.2011Описание подходов к построению динамической модели технологического процесса, этапы и направления данного процесса, ее конкретное представление. Аппроксимация заданных уравнений и оценка полученных результатов, решение и математическое значение.
контрольная работа, добавлен 11.03.2015Математическое ожидание случайной величины как ее характеристическая функция, определение ее свойств и признаков, расчет производных. Теоремы Хелли, особенности и направления их практического применения, условия и возможности расчета заданных функций.
курсовая работа, добавлен 30.01.2014Роль интерполяции функций, значения которой совпадают со значениями заданной функции в некотором числе точек. Интерполирование функции полиномами, непосредственно непрерывных функций на отрезке и в точке. Определение понятия погрешности интерполяции.
курсовая работа, добавлен 10.04.2011Понятие первообразной функции, теорема о первообразных. Неопределенный интеграл, его свойства и таблица. Понятие определенного интеграла, его геометрический смысл и основные свойства. Производная определенного интеграла и формула Ньютона-Лейбница.
курсовая работа, добавлен 21.10.2011Математическое моделирование и особенности задачи распределения. Обоснование и выбор метода решения. Ручное решение задачи (венгерский метод), а также с использованием компьютера. Формулировка полученного результата в сопоставлении с условием задачи.
курсовая работа, добавлен 26.05.2010Математическое программирование - область математики, в которой изучаются методы решения задач условной оптимизации. Основные понятия и определения в задачах оптимизации. Динамическое программирование – математический метод поиска оптимального управления.
презентация, добавлен 23.06.2013Влияние способа перехода от системы F(x)=x к системе x=ф(x) на точность полученного решения. Общее описание программного обеспечения и алгоритмов. Функциональное назначение программы. Программный модуль metod1.m и metod2.m. Описание тестовых задач.
курсовая работа, добавлен 27.04.2011Симплекс как геометрическая фигура, являющаяся мерным обобщением треугольника. Математика и её место в жизни человека. Алгоритм решения задачи "нахождение наименьшего значения линейной функции симплексным методом". Составление начальной симплекс таблицы.
контрольная работа, добавлен 29.07.2013График функции как множество всех точек координатной плоскости, абсциссы которых равны значениям аргументов, а ординаты – соответствующим значениям функции. Исследование графиков функций и графическое решение уравнений, их разновидности и особенности.
контрольная работа, добавлен 10.11.2010