Упорядоченные бинарные диаграммы решений
Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
Подобные документы
Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа, добавлен 11.12.2010Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.
дипломная работа, добавлен 04.06.2002Понятие о голоморфном решении задачи Коши. Теорема Коши о существовании и единственности голоморфного решения задачи Коши. Решение задачи Коши для линейного уравнения второго порядка при помощи степенных рядов. Интегрирование дифференциальных уравнений.
курсовая работа, добавлен 24.11.2013Поиск оптимальных значений некоторых параметров в процессе решения задачи оптимизации. Сравнение двух альтернативных решений с помощью целевой функции. Теорема Вейерштрасса. Численные методы поиска экстремальных значений функций. Погрешность решения.
презентация, добавлен 18.04.2013Свойства отражающей функции. Характеристика четной и нечетной вектор-функции, их отличительные черты. Семейства решений с постоянной четной частью. Примеры систем, решения которых имеют постоянную четную часть. Построение систем с заданной четной частью.
дипломная работа, добавлен 22.09.2009Составление математической модели задачи. Приведение ее к стандартной транспортной задаче с балансом запасов и потребностей. Построение начального опорного плана задачи методом минимального элемента, решение методом потенциалов. Анализ результатов.
задача, добавлен 16.02.2016Законы алгебры Буля и их применение для преобразования логических выражений. Расчет информационной емкости документов предметной области. Построение инфологической, реляционной и даталогической моделей. Применение методов поиска и сортировки данных.
курсовая работа, добавлен 05.01.2013Выполнение алгебраических преобразований, логическая культура и техника исследования. Основные типы задач с параметрами, нахождение количества решений в зависимости от значения параметра. Основные методы решения задач, методы построения графиков функций.
методичка, добавлен 19.04.2010Подход к решению уравнений. Формулы разности степеней. Понижение формы члена уравнения. Компьютерный поиск данных чисел. Система Диофантовых уравнений. Значения натурального ряда. Уравнения с нечётным числом членов решений в натуральных числах.
доклад, добавлен 26.04.2009Описание жизни Италии и мира того времени, когда жил и творил Джироламо Кардано. Научная деятельность математика, обзор его математических трудов и поиск решения кубических уравнений в радикалах. Способы решений уравнений третьей и четвертой степеней.
курсовая работа, добавлен 26.08.2011Типичные примеры рефлексивных бинарных отношений. Понятие множества и его элементов. Операции над множествами: объединение, пересечение и разность. Декартово произведение множеств. Отношения функциональные, эквивалентности, порядка. Отношения степени n.
контрольная работа, добавлен 08.11.2009Понятие множества и его элементов. Обозначение принадлежности элемента множеству. Конечные и бесконечные множества. Строгое и нестрогое включение. Способы задания множеств. Равенство множеств и двухсторонее включение. Диаграммы Венна для трех множеств.
презентация, добавлен 23.12.2013Дифференциальное уравнение с начальными данными. Свойства предельных множеств автономных систем. Приближенное решение дифференциальных уравнений. Вопрос о сходимости ряда. Предельные множества траекторий автономных систем, состоящие из целых траекторий.
реферат, добавлен 12.12.2012Области применения латинских квадратов. Использование систем попарно ортогональных латинских квадратов при построении сеточных методов интегрирования в математике. Хроматические многочлены, подсчет решений судоку. Различные симметрии квадратов судоку.
реферат, добавлен 07.09.2009Рассмотрение и анализ основных свойств показательной функции: решение задач, способы построения графиков. Понятие и примеры применения гиперболических функций, их роль в различных приложениях математики. Способы нахождения области определения функции.
контрольная работа, добавлен 01.11.2012Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.
учебное пособие, добавлен 27.10.2013- 92. Булевы функции
Использование эквивалентных преобразований. Понятие основных замкнутых классов. Метод минимизирующих карт и метод Петрика. Операция неполного попарного склеивания. Полином Жегалкина и коэффициенты второй степени. Таблицы значений булевых функций.
контрольная работа, добавлен 06.06.2011 Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций, добавлен 08.08.2011Линейные операции над векторами. Скалярное произведение двух векторов. Векторное произведение векторов. Графическое решение систем неравенств. Построение графиков функций с помощью геометрических преобразований. Простейшие геометрические преобразования.
методичка, добавлен 15.06.2015Понятие теории игр как раздела математики, предмет которого - анализ принятия оптимальных решений в условиях конфликта. Общие понятия в теории игр. Коалиция интересов, кооперативная или коалиционная игра. Свойства стратегических эквивалентных игр.
реферат, добавлен 06.05.2010Понятие и характерные признаки равносильных уравнений, требования к множеству их решений. Теорема о равносильности уравнений и порядок ее доказательства, значение в современной математике. Порядок и основные этапы нахождения корней уравнения-следствия.
презентация, добавлен 17.03.2011Обзор квадратурных формул Гаусса, их определение, интегральные конструкции, примеры, четко описывающие квадратуры Гаусса. Особенности использования некоторых алгоритмов, позволяющих отследить ход решений задач, использующих квадратурные формулы Гаусса.
контрольная работа, добавлен 16.12.2015Особенности метода аппроксимации табулированных функций. Рассмотрение преимуществ работы в среде математической программы Mathcad. Метод наименьших квадратов как наиболее распространенный метод аппроксимации экспериментальных данных, сферы применения.
курсовая работа, добавлен 30.09.2012- 99. Математика
Поиск участков возрастания и убывания функций, классификация экстремума. Умножение матриц АВ–1С. Теория вероятности события и случайных величин. Построение интервальной группировки данных. Решение задачи линейного программирования, построение графика.
контрольная работа, добавлен 11.11.2012 Исследование влияния техногенного воздействия на структуру порового пространства, фильтрационно-емкостные свойства нефтенасыщенных коллекторов. Построение диаграммы рассеивания, гистограммы частот, корреляционной таблицы. Метод доверительных интервалов.
курсовая работа, добавлен 06.04.2014