Минимальные формы булевых многочленов
Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.
Подобные документы
Основы геометрии чисел. Решетки, подрешетки и их базисы. Основные теоремы геометрии чисел. Связь квадратичных форм с решетками. Методы геометрии чисел для решения диофантовых уравнений. Теорема Минковского о выпуклом теле. Квадратичная форма решетки.
дипломная работа, добавлен 24.06.2015Особенности видов тетраэдров и теоремы о них, их доказательства и примеры решения задач. Сравнительная характеристика изложения темы "тетраэдр" в школьных учебниках. Тестирование уровня развития пространственного мышления у учеников средней школы.
дипломная работа, добавлен 19.06.2011Методы оценки погрешности интерполирования. Интерполирование алгебраическими многочленами. Построение алгебраических многочленов наилучшего среднеквадратичного приближения. Численные методы решения задачи Коши для обыкновенных дифференциальных уравнений.
лабораторная работа, добавлен 14.08.2010Сущность теории динамических систем и роль связи структуры системы с её динамикой. Конечные динамические системы и сокращение мономиальных систем. Проблема изучения Булевых мономиальных систем и линейных систем над конечными коммутативными кольцами.
курсовая работа, добавлен 08.12.2010Основные положения теории принятия решений, разработанной на основе математических методов и формальной логики, классификация управленческих решений. Некорректно поставленные задачи и регуляризирующие (робастные) алгоритмы: адаптивные, инвариантные.
курсовая работа, добавлен 23.11.2010- 106. Математика
Определить объемы выпуска каждого вида продукции, обеспечивающие предприятию получение наибольшей прибыли при реализации продукции. Оптимальный план перевозки грузов от поставщиков к потребителям, обеспечивающий минимальные затраты. Система неравенств.
контрольная работа, добавлен 10.01.2009 Закон распределения случайной величины дискретного типа (принимающей отдельные числовые значения). Предельные теоремы схемы Бернулли. Вычисление вероятности появления события по локальной теореме Муавра-Лапласа. Интегральная формула данной теоремы.
презентация, добавлен 17.08.2015Потоки в сетях, структура и принципы формирования алгоритма Форда-Фалкерсона, особенности его реализации программным методом. Минимальные остовные деревья. Алгоритм Борувки: понятие и назначение, сферы и специфика практического использования, реализация.
курсовая работа, добавлен 15.06.2015Основные формулы и алгебраические свойства. Применение многочленов Чебышева-Эрмита в квантовой механике. Определение потенциальной энергии. Ортонормированный многочлен Чебышева-Эрмита. Уравнение Шрёдингера в одномерном случае. Коэффициенты разложения.
курсовая работа, добавлен 21.11.2014Выбор основного алгоритма решения задачи. Требования к функциональным характеристикам программы. Минимальные требования к составу и параметрам технических средств и к информационной и программной совместимости. Логические модели, блок-схемы алгоритмов.
курсовая работа, добавлен 16.11.2010Запрещенные комбинации выходных сигналов. Методика получения минимальных ДНФ неполностью определенных переключательных функций. Импликантная матрица. Алгоритм получения минимальных конъюнктивных форм. Выходные сигналы на запрещенных комбинациях.
контрольная работа, добавлен 09.10.2008История квадратных уравнений: уравнения в Древнем Вавилоне и Индии. Формулы четного коэффициента при х. Квадратные уравнения частного характера. Теорема Виета для многочленов высших степеней. Исследование биквадратных уравнений. Сущность формулы Кордано.
реферат, добавлен 09.05.2009Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
контрольная работа, добавлен 06.05.2009- 114. Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа, добавлен 13.02.2010 - 115. Исследование графов
Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.
контрольная работа, добавлен 05.05.2013 Теоремы Паскаля, Брианшона для пятиугольника, четырехугольника, треугольника. Их использование для решения задач конструктивного типа проективной геометрии линий 2-го порядка на расширенной прямой, связанные с построением точек и касательных к ним.
курсовая работа, добавлен 02.06.2013- 117. Векторная алгебра
Раздел математики, непосредственно относящийся к задачам физической и инженерной практики. Элементы векторной и линейной алгебры; описание способов выполнения различных операций над векторами: сложение, вычитание, геометрически смешанное произведение.
презентация, добавлен 02.05.2012 - 118. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 Геометрия как раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре. Основные этапы становления и развития данной науки, ее современные достижения и перспективы.
презентация, добавлен 21.05.2012- 120. Векторная алгебра
Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014 Строение конечных групп по заданным свойствам их обобщенно субнормальных подгрупп. Использование методов абстрактной теории групп и теории формаций конечных групп. Субнормальные и обобщенно субнормальные подгруппы и их свойства. Обобщение теоремы Хоукса.
дипломная работа, добавлен 20.12.2009Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.
творческая работа, добавлен 30.04.2009Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Изучение наиболее типичных алгоритмов решения задач, имеющих вероятностный характер. Ознакомление с элементами комбинаторики, теорией урн, формулой Байеса, способами нахождения дискретных, непрерывных случайных величин. Рассмотрение основ алгебры событий.
методичка, добавлен 06.05.2010Биографические сведения об Огюстене Луи Коши - французском математике XIX века, который вошел в историю благодаря открытиям в области дифференциальных уравнений, алгебры, геометрии и математического анализа. Достижения, исследования и открытия ученого.
презентация, добавлен 28.04.2015