Основные понятия минимизации булевых функций
Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
Подобные документы
Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Аксиомы топологии, примеры топологических пространств. Понятие про открытое и замкнутое множество. Аксиомы булевой алгебры, примеры. Булево объединение и пересечение произвольного семейства элементов алгебры. Понятие про регулярные замкнутые множества.
курсовая работа, добавлен 10.07.2012Характеристика понятия и сущности, способов задания, основных операций, свойств характеристических функций множеств. Изучение декартового произведения множеств, сравнение их мощности, описание формул включений и исключений. Метод математической индукции.
лекция, добавлен 28.04.2015- 80. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Рассмотрен метод наименьших квадратов - метод, применяемый для решения различных задач, основанный на минимизации суммы квадратов отклонений некоторых функций от экспериментальных входных данных. Практическое решение задачи методом наименьших квадратов.
курсовая работа, добавлен 06.12.2023- 82. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
реферат, добавлен 21.06.2014Изучение понятия элементарных функций в математике, их виды. Характеристика правил определения элементарных функций по Лиувиллю. Дифференцирование и нахождение производных по таблице. Дифференцируемая в точке функция, матрица Якоби и теорема Лебега.
реферат, добавлен 26.02.2015Непрерывное преобразование: материнские функции, шкалирование (масштабирование), детализация сигнала. Ортогональные вейвлет функции и их особенности. Каскадный алгоритм формирования масштабных функций. Алгоритм Малата в интерпретации фильтровой обработки.
контрольная работа, добавлен 11.09.2015Рассмотрение инструментов, применяемых для решения задач линейной алгебры с помощью MathCad. Определение значения матричного выражения. Определение матричного выражения в буквенном виде и запись его значения. Умножение матрицы на единичную матрицу.
практическая работа, добавлен 31.10.2019Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017Полные и неполные матричные пространства. Сжимающие отражения и неподвижные точки. Основные операторы в функциональных пространствах. Общий вид линейного функционала. Умножение и дифференцирование обобщенных функций. Преобразование Фурье в пространстве.
учебное пособие, добавлен 18.06.2015Обзор прямого преобразования Фурье. Типичное изображение спектра непериодического сигнала. Изучение примеров определения спектра временных функций. Исследование особенностей прямого преобразования Лапласа. Получение изображения для импульсных функций.
лекция, добавлен 23.07.2015Анализ понятия матрицы: классификация и основные операции над ними. Определители квадратной матрицы и их свойства. Теоремы Лапласа и аннулирования. Обратная матрица: определение понятий, ее единственность, а также алгоритм ее построения и свойства.
курсовая работа, добавлен 21.04.2011Построение таблицы поведения автомата. Поиск системы булевых функций для возбуждения триггеров дискретного преобразователя информации. Преимущества, обеспечиваемые применением конечных автоматов. Составление схемы дискретного преобразователя информации.
курсовая работа, добавлен 18.11.2015Понятие гильбертовых пространств аналитических функций. Доказательство теоремы о том, что открытый или единичный круг, квадратично интегрируемых аналитических функций в области D является гильбертовым пространством. Определение пространства Харди.
реферат, добавлен 06.11.2017Определение термина "матрица", основные действия с ней и ее виды. Элементарные преобразования, транспонирование матриц и операции умножения (дистрибутивная) и перемножения (ассоциативная) с ними. Формирование из алгебраических дополнений каждого элемента.
контрольная работа, добавлен 13.01.2015Разработка и обоснование новых и эффективных методов глобальной минимизации некоторых специальных классов негладких функций на выпуклых множествах. Разработка метода нахождения минимума негладкой выпуклой функции многих переменных на симплексе.
автореферат, добавлен 30.06.2018Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012- 96. Линейная алгебра
Понятие евклидова пространства. Коллинеарные векторы. Размерность и базис векторного пространства. Операции над матрицами. Линейное преобразование переменных. Теорема о делении с остатком. Понятие квадратичной формы, исчисление ее канонического базиса.
дипломная работа, добавлен 17.01.2011 Определение возможных двоичных функций одной переменной. Синтаксис логики высказываний и его прямые синтаксические и семантические аналоги в естественных языках. Рассмотрение примера упрощения логической функции. Операции с нечеткими множествами.
лекция, добавлен 28.03.2020Простейшие элементарные функции: постоянная, степенная, показательная, логарифмическая, тригонометрическая, обратная. Особенности операции извлечения из корня. Изучение функций, которые можно получить при помощи конечного числа арифметических операций.
презентация, добавлен 21.09.2013Исследование поискового метода минимизации мультимодальной функции одной переменной на основе двухзвенной схемы отбора интервалов первого порядка. Поисковый метод ее минимизации. Сравнительное исследование эффективности методов, их плюсы и минусы.
контрольная работа, добавлен 27.07.2014Разработка программного модуля, ориентированного на нахождение минимума целевой функции по методу Фибоначчи на заданном отрезке, с заданным количеством вычислений и точностью. Тестирование результатов работы с помощью нескольких функций и их сравнение.
реферат, добавлен 11.11.2014