Минимальные формы булевых многочленов
Основные этапы развития булевой алгебры и применение минимальных форм булевых многочленов к решению задач, в частности, с помощью метода Куайна - Мак-Класки. Применение минимизирования логических форм при проектировании устройств цифровой электроники.
Подобные документы
Утверждение великого французского математика Пьера Ферма, получившее название "Великая теорема Ферма". Элементарные алгебраические преобразования многочленов. Коэффициенты полиномов Чебышева и формулы Абеля. Система наименьших вычетов по модулю K.
книга, добавлен 07.01.2011Вычисление относительной и абсолютной погрешности табличных определённых интегралов. Приближенные методы вычисления определённых интегралов: метод прямоугольников, трапеций, парабол (метод Симпсона). Оценка точности вычисления "не берущихся" интегралов.
курсовая работа, добавлен 18.05.2019Расширенный алгоритм Евклида, его использование для нахождения наибольшего общего делителя натуральных чисел посредством остатков от деления. Математическая проблема календаря. Евклидовы кольца - аналоги чисел Фибоначчи в кольце многочленов, их свойства.
реферат, добавлен 25.09.2009Нахождение корней уравнений (Equation Section 1) методом: Ньютона, Риддера, Брента, Лобачевского и Лагерра. Вычисление корней многочленов по схеме Горнера. Функции произвольного вида (при использовании пакета Mathcad). Нахождение корней полиномов.
контрольная работа, добавлен 14.08.2010Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа, добавлен 29.11.2010Сущность теории динамических систем и роль связи структуры системы с её динамикой. Конечные динамические системы и сокращение мономиальных систем. Проблема изучения Булевых мономиальных систем и линейных систем над конечными коммутативными кольцами.
курсовая работа, добавлен 08.12.2010Методика нахождения различных решений геометрических задач на построение. Выбор и применение методов геометрических преобразований: параллельного переноса, симметрии, поворота (вращения), подобия, инверсии в зависимости от формы и свойств базовой фигуры.
курсовая работа, добавлен 13.08.2011Возникновение и основные этапы развития математики как науки о структурах, порядке и отношениях на основе операций подсчета, измерения и описания форм реальных объектов. Развитие знаний арифметики и геометрии в Древнем Востоке, Вавилоне и Древней Греции.
презентация, добавлен 17.12.2010Формирование учебных достижений обучающихся, в образовательной области "Математика и информатика". Планируемые достижения обучения решению задач на геометрические построения в 7 классе и методика их реализации. Структура пользовательского интерфейса.
дипломная работа, добавлен 07.09.2017Общая характеристика графов с нестандартными достижимостями, их применение. Особенности задания, представления и разработки алгоритмов решения задач на таких графах. Описание нового класса динамических графов, программной реализации полученных алгоритмов.
реферат, добавлен 22.11.2010Формулировки и доказательства китайской теоремы об остатках. Доказательство с помощью метода математической индукции. Конструктивный метод доказательства. Основные алгоритмы поиска решения. Применение китайской теоремы об остатках к открытию сейфа.
курсовая работа, добавлен 08.01.2022- 112. Методы отсечения
Теоретические основы метода отсечения, его назначение и функции в решении задач целочисленного линейного программирования. Сущность и практическая реализация первого и второго алгоритма Гомори. Применение алгоритма Дальтона, Ллевелина и Данцига.
курсовая работа, добавлен 12.10.2009 Понятие производной, правила её применения, геометрический и физический смысл производной. Применение производной в науке и технике и о решении задач в этой области. Актуальность дифференциального исчисления в связи с научно-техническим прогрессом.
реферат, добавлен 17.05.2009Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010Понятия целой и дробной частей действительного числа. Основные свойства функции и ее график. Применение свойств функции y = [x] при решении уравнений и геометрических задач. Описание реальных процессов непрерывными функциями. Решение задач на делимость.
курсовая работа, добавлен 29.05.2016Понятие матрицы и линейные действия над ними. Свойства операции сложения матриц. Определители второго и третьего порядков. Применение правила Саррюса. Основные методы решения определителей. Элементарные преобразования матрицы. Свойства обратной матрицы.
учебное пособие, добавлен 04.03.2010Анализ особенностей методической деятельности учителя начальных классов при обучении учащихся решению задач с пропорциональной зависимостью. Роль задач в формировании учебной деятельности младших школьников. Виды задач в начальном курсе математики.
курсовая работа, добавлен 07.01.2015Осуществление интерполяции с помощью полинома Ньютона. Уточнение значения корня на заданном интервале тремя итерациями и нахождение погрешности вычисления. Применение методов Ньютона, Сампсона и Эйлера при решении задач. Вычисление производной функции.
контрольная работа, добавлен 02.06.2011Сравнительный анализ численных методов решения систем линейных алгебраических уравнений. Вычисление определителей и обратных матриц. Реализация методов в виде машинных программ на языке высокого уровня и решение задач на ЭВМ. Модификации метода Гаусса.
реферат, добавлен 04.03.2011Проблема решения уравнений в целых числах: от Диофанта до доказательства теоремы Ферма. Сущность теоремы о делимости данного числа на произведение двух взаимно простых чисел, особенности ее применения к решению неопределенных уравнений в целых числах.
курсовая работа, добавлен 10.03.2014История квадратных уравнений: уравнения в Древнем Вавилоне и Индии. Формулы четного коэффициента при х. Квадратные уравнения частного характера. Теорема Виета для многочленов высших степеней. Исследование биквадратных уравнений. Сущность формулы Кордано.
реферат, добавлен 09.05.2009Об истории возникновения комплексных чисел и их роли в процессе развития математики. Алгебраические действия над комплексными числами и их геометрический смысл. Применение комплексных чисел к решению алгебраических уравнений 3-ей и 4-ой степеней.
курсовая работа, добавлен 03.01.2008Сравнение методов простой итерации и Ньютона для решения систем нелинейных уравнений по числу итераций, времени сходимости в зависимости от выбора начального приближения к решению и допустимой ошибки. Описание программного обеспечения и тестовых задач.
курсовая работа, добавлен 26.02.2011Операции логики с понятием "суд". Объединённая классификация суждений, их логические обозначения. Составные части сложного суждения, запись их с помощью символов, пропозициональных союзов. Полный разбор силлогизма. Запись формально-логического закона.
контрольная работа, добавлен 23.10.2013Описание Н-критических формаций для некоторых наиболее известных формаций Н. При изучении внутреннего строения, а также классификации насыщенных формаций важную роль играют так называемые минимальные насыщенные не Н-формации или Н-критические формации.
дипломная работа, добавлен 02.03.2010