Представление булевых функций в СКНФ
Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
Подобные документы
Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.
контрольная работа, добавлен 25.08.2013Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
контрольная работа, добавлен 14.06.2009Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Бесселевы функции с любым индексом. Формулы приведения для бесселевых функций. Интегральное представление бесселевых функций с целым индексом. Ряды Фурье-Бесселя. Асимптотическое представление бесселевых функций для больших значений аргумента.
курсовая работа, добавлен 22.09.2008Оптимизация как раздел математики, ее определение, сущность, цели, формулировка и особенности постановки задач. Общая характеристика различных методов математической оптимизации функции. Листинг программ основных методов решения задач оптимизации функции.
курсовая работа, добавлен 20.01.2010Функция многих переменных. Предел и непрерывность функции многих переменных. Частные производные. Дифференцируемость функции. Производная в направлении. Градиент. Локальные экстремумы. Интегральное исчисление функций. Неопределённный интеграл.
курс лекций, добавлен 08.04.2008Необходимое и достаточное условие существования определенного интеграла. Равенство определенного интеграла от алгебраической суммы (разности) двух функций. Теорема о среднем – следствие и доказательство. Геометрический смысл определенного интеграла.
презентация, добавлен 18.09.2013Многие переменные, минимизация их функций. Точки максимума и минимума называются точками экстремума функции. Условия существования экстремумов функции многих переменных. Квадратичная форма, принимающая, как положительные, так и отрицательные значения.
реферат, добавлен 05.09.2010Теория математического программирования. Методы поиска глобального экстремума функции нескольких переменных. Угловые точки допустимых множеств. Постановка общей задачи нелинейного программирования. Решения уравнения f(x)=0 методом простой итерации.
контрольная работа, добавлен 05.01.2013Определение гипергеометрического ряда, свойства его функции и представление уравнения. Дифференциальное уравнение для вырожденной гипергеометрической функции и его интегралы. Представление различных функций через вырожденные гипергеометрические функции.
курсовая работа, добавлен 27.11.2010- 36. Булевы функции
Понятие, основные свойства элементарных булевых функций и соотношения между ними. Формулировка принципа двойственности. Совершенные дизъюнктивная и конъюнктивная нормальные формы. Многочлен (полином) Жегалкина. Суперпозиция и замыкание класса функций.
презентация, добавлен 05.02.2016 Способы решения задач дискретной математики. Расчет кратчайшего пути между парами всех вершин в ориентированном и неориентированном графах с помощью использования алгоритма Флойда. Анализ задачи и методов ее решения. Разработка и характеристика программы.
курсовая работа, добавлен 22.01.2014- 38. Правила перевода из двоичной системы числения в восьмеричную и шестнадцатеричную системы счисления
Сущность двоичной, восьмеричной и шестнадцатиричной систем счисления, их отличительные черты и взаимосвязь. Пример алгоритмов перевода чисел из одной системы в другую. Составление таблицы истинности и логической схемы для заданных логических функций.
презентация, добавлен 12.01.2014 Знакомство с особенностями построения математических моделей задач линейного программирования. Характеристика проблем составления математической модели двойственной задачи, обзор дополнительных переменных. Рассмотрение основанных функций новых переменных.
задача, добавлен 01.06.2016Задачи нахождения собственных значений и соответствующих им собственных векторов. Математическое обоснование метода итераций. Алгоритм метода Леверрье-Фаддеева, численное решение оценки собственных значений матриц. Листинг программы на языке "Pascal".
курсовая работа, добавлен 05.11.2014Понятие "граф". Отношения между разнородными элементами. Матричное представление графов. Операции над графами. Маршруты, цепи, циклы. Метрические характеристики графа. Приложение теории графов в различных областях науки и техники. Листинг программы.
курсовая работа, добавлен 15.12.2008Математическое представление, условия возрастания и убывания функции y=f(x); характеристика ее основных свойств - четности, монотонности, ограниченности и периодичности. Ознакомление с аналитическим, графическим и табличным способами задания функции.
презентация, добавлен 21.09.2013Понятие, закономерности формирования и решения дифференциальных уравнений. Теорема о существовании и единственности решения задачи Коши. Существующие подходы и методы решения данной задачи, оценка погрешности полученных значений. Листинг программы.
курсовая работа, добавлен 27.01.2014- 44. Функции Бесселя
Функции Бесселя с целым положительным и произвольным значком. Общее представление цилиндрических функций. Функции Бесселя второго и третьего рода. Цилиндрические функции с индексом, равным половине нечетного целого числа. Нули цилиндрических функций.
курсовая работа, добавлен 03.04.2011 Методы нахождения минимума функции одной переменной и функции многих переменных. Разработка программного обеспечения вычисления локального минимума функции Химмельблау методом покоординатного спуска. Поиск минимума функции методом золотого сечения.
курсовая работа, добавлен 12.10.2009Общее определение коэффициентов по методу Эйлера-Фурье. Ортогональные системы функций. Интеграл Дирихле, принцип локализации. Случай непериодической функции, произвольного промежутка, четных и нечетных функций. Примеры разложения функций в ряд Фурье.
курсовая работа, добавлен 12.12.2010Задача численного интегрирования функций. Вычисление приближенного значения определенного интеграла. Нахождение определенного интеграла методами прямоугольников, средних прямоугольников, трапеций. Погрешность формул и сравнение методов по точности.
методичка, добавлен 01.07.2009Понятие мероморфной функции и ее основные свойства. Характеристика теоремы Миттаг-Леффлера. Общий вид мероморфной функции с заданными полюсами, ее представление в виде суммы целой функции и ряда рациональных функций. Разбор случая простых полюсов.
курсовая работа, добавлен 20.07.2015Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа, добавлен 28.05.2015Общая схема методов спуска. Метод покоординатного спуска. Минимизация целевой функции по выбранным переменным. Алгоритм метода Гаусса-Зейделя. Понятие градиента функции. Суть метода наискорейшего спуска. Программа решения задачи дискретной оптимизации.
курсовая работа, добавлен 30.04.2011