Упорядоченные бинарные диаграммы решений
Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
Подобные документы
Основные положения теории принятия решений, разработанной на основе математических методов и формальной логики, классификация управленческих решений. Некорректно поставленные задачи и регуляризирующие (робастные) алгоритмы: адаптивные, инвариантные.
курсовая работа, добавлен 23.11.2010Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010Диофант и история диофантовых уравнений. О числе решений линейных диофантовых уравнений (ЛДУ). Нахождение решений для некоторых частных случаев ЛДУ. ЛДУ c одной неизвестной и с двумя неизвестными. Произвольные ЛДУ.
курсовая работа, добавлен 13.06.2007Решение уравнения гармонического осциллятора при помощи разложения в ряд Тейлора. Применение метода индуцированной алгебры. Решение уравнения гармонического осциллятора при помощи метода индуцированной алгебры. Сравнение работоспособности методов решений.
курсовая работа, добавлен 24.05.2012Основные этапы обработки данных натуральных наблюдений методом математической статистики. Оценка полученных результатов, их использование при принятии управленческих решений в области охраны природы и природопользования. Проверка статистических гипотез.
практическая работа, добавлен 24.05.2013Существование и единственность решений дифференциальных уравнений. Геометрическая интерпретация решений. Линейные и нелинейные системы. Дифференциальные уравнения, моделирующие динамику популяций конкурирующих видов, их решения и фазовые портреты.
дипломная работа, добавлен 27.06.2012Гиперболические уравнения и уравнения смешанного типа. Неограниченная область свойства решений эллиптических уравнений. Вспомогательные леммы и утверждения. Существование резольвенты дифференциального оператора. Применение преобразования Фурье.
реферат, добавлен 30.04.2013Постановка задач принятия решений в условиях неопределенности, генерация и оценки альтернативных вариантов их решения для хорошо и слабо структурированных проблем. Аналитическая иерархическая процедура Саати, метод порогов несравнимости "Электра".
курсовая работа, добавлен 10.04.2011Упорядоченные множества. Решётки. Дистрибутивные решётки. Топологические пространства. Верхние полурешётки. Стоуново пространство. Множество простых идеалов с введенной на нём топологией.
дипломная работа, добавлен 08.08.2007Сущность моделирования, значение и необходимость создания различных моделей, сферы их практического использования. Свойства объекта, существенные и несущественные для принятия решений. Граф как средство наглядного представления состава и структуры схемы.
презентация, добавлен 26.06.2014Введение новых динамических систем и их решений, специальных функций эллиптических и тета-функций, зависящих от одного параметра, разложение эллиптических функций Якоби в ряды Фурье (теоремы разложения). Рассмотрение их связи с функцией Вейерштрасса.
курсовая работа, добавлен 26.04.2011- 38. Теория узлов
История возникновения и развития теории узлов. Плоские диаграммы узлов и зацеплений. Характеристика инварианта раскрасок, полинома Конвея и d-диаграммы как основных способов задания узлов. Применение узлов в математике, биологии, физике и химии.
курсовая работа, добавлен 10.06.2014 Выведены формулы, возможно ранее неизвестные, для решений уравнения Пифагора, Формулы отличаются от общеизвестных формул древних индусов и вавилонян.
статья, добавлен 26.06.2008Построение дифференциальных систем, эквивалентных в смысле совпадения отражающих функций, системам с известным первым интегралом. Отображение Пуанкаре, общие сведения об отражающих функциях. Возмущения дифференциальных систем, стационарный интеграл.
дипломная работа, добавлен 21.08.2009Представление с помощью кругов Эйлера множественного выражения. Законы и свойства алгебры множеств, упрощение выражений. Система функций, ее возможные базисы. Минимизирование булевой функции. Метод Квайна – Мак-Класки. Определение хроматического числа.
контрольная работа, добавлен 17.01.2011Изучение полиномиальных уравнений и путей их решений. Доказательство теорем Безу и Штурма. Ознакомление с правилами использования формул Виета, математических методов Лобачевского, касательных и пропорциональных отрезков для определения корней многочлена.
курсовая работа, добавлен 19.09.2011Методика нахождения различных решений геометрических задач на построение. Выбор и применение методов геометрических преобразований: параллельного переноса, симметрии, поворота (вращения), подобия, инверсии в зависимости от формы и свойств базовой фигуры.
курсовая работа, добавлен 13.08.2011Построение диаграммы рассеивания, полигонов, гистограмм нормированных относительных частот, эмпирических функций распределения по X и по Y. Параметры для уравнения параболической регрессии. Проверка гипотезы о нормальном распределении признака Х.
курсовая работа, добавлен 08.12.2013Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
дипломная работа, добавлен 08.08.2007Степенные ряды. Радиус сходимости. Ряды Лорана. Полюса и особые точки. Интегрирование дифференциальных уравнений при помощи степенных рядов. Общее дифференциальное уравнение Риккати. Исследование решений в окрестности полюса и существенно особой точки.
дипломная работа, добавлен 15.12.2012Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
контрольная работа, добавлен 26.04.2011Система двух нелинейных обыкновенных дифференциальных уравнений, порождённая прямым и обратным преобразованиями Беклунда высшего аналога второго уравнения Пенлеве. Аналитические свойства решения, наличие у системы четырёхпараметрических семейств решений.
реферат, добавлен 28.06.2009История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.
курсовая работа, добавлен 22.12.2015Назначение, состав и структура математического обеспечения в автоматизированных системах, формализация и моделирование управленческих решений, этапы разработки. Модели и алгоритмы обработки информации. Характеристика метода исследования операции.
презентация, добавлен 07.05.2011