Минимизация функций алгебры логики
Представление функции алгебры логики в совершенной дизъюнктивной нормальной форме. Преобразования и минимизация в базисе, который состоит из функции Вебба. Порядок построения таблицы меток из исходных и первичных импликантов в виде двоичных кодов.
Подобные документы
Производственная сфера хозяйства и использование математических методов для оценки её эффективности. Межотраслевой баланс производства и применение линейной алгебры в экономике. Графическое отображение закономерностей и расчётф зависимости явлений.
контрольная работа, добавлен 20.06.2012Понятия логической функции и методов минимизации, их преимущества и недостатки, отличия и сходства с другими методами. Сущность метода эквивалентных преобразований и неопределенных коэффициентов. Алгоритм метода Квайна (шаги). Метод диаграмм Вейча.
курсовая работа, добавлен 23.11.2011Порядок и подходы к построению нового варианта логики аргументации. Принципы и анализ эффективности метода аналитических таблиц для предложенного варианта логики аргументации для обнаружения тавтологий, с использованием связи с теорией бирешеток.
статья, добавлен 17.01.2018Основные понятия теории вероятностей, пространство случайных и элементарных событий. Операции над событиями (сумма, разность, произведение) и свойства операций. Сущность алгебры и сигма-алгебры событий, аксиоматическое построение теории вероятностей.
реферат, добавлен 25.02.2011Анализ функции на экстремум. Частные производные первого и второго порядка. Разложение Тейлора до квадратичного члена включительно в окрестности двух точек. Проверка аналитических преобразований. Ряд Тейлора в матричной форме. Выражение вектор-градиента.
контрольная работа, добавлен 22.01.2013Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Определение и направления исследования алгебры путей на связных графах. Описание их свойств и центральных элементов тел, частных для случая, когда граф является полным неориентированным графом без петель. Формулирование теорем и их доказательство.
статья, добавлен 31.05.2013Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Изучение фундаментальных проблем и взаимосвязей в следующих направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Исследования квантований алгебр, в конечных лиевых и нелиевых группах.
научная работа, добавлен 28.10.2018Исследование кодирования и декодирования кодов Рида-Соломона, связанных с построением двоичных корректирующих кодов. Применение кода Рида-Соломона в системах передачи и хранения информации, в устройствах памяти и в телекоммуникационных системах.
статья, добавлен 27.02.2019Суть аппроксимации таблично заданной функции по МНК (методу наименьших квадратов), ее отличие от метода интерполирования. Задача построения аппроксимирующих функций в виде элементарных функций (степенной, показательной, логарифмической, гиперболической).
контрольная работа, добавлен 25.04.2015Особенности использования преобразования Меллина и теорию вычетов. Метод Галеркина как запись исходных дифференциальных уравнений в слабой форме. Амплитудные функции ряда Фурье. Пример расчета показателей сингулярности в вершине анизотропного конуса.
статья, добавлен 02.11.2018- 113. Свойства функций
Понятие функций одной переменной, их классификация и разновидности, отличительные особенности и структура. Принципы преобразования графиков. Предел функции на бесконечности и в точке, анализ основных теорем. Непрерывность функции. Типы точек разлома.
лекция, добавлен 19.02.2018 Доказательство теоремы, позволяющей решить проблему разрешимости (выполнимости) для формул исчисления высказываний, содержащих предикаты, зависящие от одного переменного. Представление равносильности в виде тождественно истинной формулы для любого поля.
контрольная работа, добавлен 05.11.2017Изучение свойств элементарных функций. Ознакомление с основными правилами построения графиков линейных, квадратичных и логарифмических функций. Рассмотрение деформации и преобразования графиков с параллельным переносом. Описание математических примеров.
лекция, добавлен 22.11.2013- 116. Рекурсивные функции
Сущность и значение кодирования программ. Характеристика и отличительные черты теоремы о параметризации, описание и специфика универсальных функций. Применение теоремы Клини о нормальной форме. Синтаксис и семантика, теорема Райса и математическая логика.
контрольная работа, добавлен 30.12.2015 Аксиомы топологии, примеры топологических пространств. Понятие про открытое и замкнутое множество. Аксиомы булевой алгебры, примеры. Булево объединение и пересечение произвольного семейства элементов алгебры. Понятие про регулярные замкнутые множества.
курсовая работа, добавлен 10.07.2012Изучение нормальной формы линейного преобразования, его собственные и присоединенные векторы. Выделение подпространства, в котором преобразование А имеет только одно собственное значение и приведение его к нормальной форме, инвариантные множители.
курсовая работа, добавлен 14.03.2010Математическое моделирование задач электроэнергетики с помощью аппарата линейной алгебры, теории графов. Расчёт установившихся режимов электрических систем, не содержащих и содержащих контур. Вероятностно–статистические методы в задачах электроснабжения.
курсовая работа, добавлен 13.11.2014- 120. Высшая математика
Основные понятия векторной алгебры. Аналитическая геометрия в пространстве. Введение в математический анализ. Дифференциальное исчисление, неопределенные и определенные интегралы. Функции нескольких переменных. Ряды и дифференциальные уравнения.
учебное пособие, добавлен 09.12.2016 Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.
учебное пособие, добавлен 15.04.2014Исследование интерполирования функции полиномами, непосредственно непрерывных функций на отрезке и в точке. Определение понятия погрешности интерполяции. Полиноминальная интерполяция. Интерполяционный полином Лагранжа. Представление гладкой функции.
курсовая работа, добавлен 22.04.2011Логарифмическая производная функции. Производная степенно показательной функции. Производные и дифференциалы высших порядков. Формула Тейлора с остаточным членом в форме Пеано. Теоремы о дифференцируемых функциях. Формулы разложения элементарных функций.
контрольная работа, добавлен 26.05.2014Вероятностное обоснование МНК (метода наименьших квадратов) как наилучшей оценки. Принцип максимального правдоподобия, регрессия. Метод решения: минимизация невязки с привлечением методов матричного исчисления. Доверительные интервалы для оценок МНК.
презентация, добавлен 06.08.2015- 125. Интерполяция
Интерполяционная формула Лагранжа. Определение производных функции. Оценка остаточного члена. Исчисление корня уравнения с помощью обратного интерполирования. Построение интерполяционного многочлена Ньютона. Сущность вычислительных методов алгебры.
контрольная работа, добавлен 23.04.2011