Минимальные формы булевых многочленов
Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.
Подобные документы
Определение и общие свойства ортогональных функций (многочленов). Рекуррентная формула и формула Кристоффеля-Дарбу. Элементарные свойства нулей, их плотность. Сущность первого и второго рода многочленов Чебышева. Нули многочленов и отклонение от них.
курсовая работа, добавлен 30.06.2011Основы теории многочленов от одной переменной. Определение и простейшие свойства многочленов Чебышева. Основные теоремы о многочленах Чебышева. Формальная производная многочлена. Рациональные корни нормированного многочлена с целыми коэффициентами.
курсовая работа, добавлен 04.07.2015Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.
контрольная работа, добавлен 27.04.2011Нечеткая логика как раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечеткого множества. Основные правила и законы данной логики, алгоритм Мамдани. Содержание и принципы решения задачи о парковке.
курсовая работа, добавлен 22.04.2014Математический анализ и операционное исчисление. Обращение преобразования с помощью многочленов, ортогональных на промежутке. Интегральное преобразования Лапласа с помощью смещенных многочленов Лежандра и многочленов Чебышева первого рода.
реферат, добавлен 10.02.2011Открытия О. Хайяма в области астрономии, математики и физики. Трактат о доказательствах задач алгебры и алмукабалы. Комментарии к трудностям во введениях Евклида. Закономерности поведения корней, приложимые к каждому конкретному уравнению (Э. Галуа).
реферат, добавлен 14.12.2009Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013Применение методов математической логики и других разделов высшей математики в задачах теоретической лингвистики при анализе письменной речи на русском и английском языках. Исследование и распознавание речевых единиц. Методы математической логики.
реферат, добавлен 01.11.2012Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Изучение полиномиальных уравнений и путей их решений. Доказательство теорем Безу и Штурма. Ознакомление с правилами использования формул Виета, математических методов Лобачевского, касательных и пропорциональных отрезков для определения корней многочлена.
курсовая работа, добавлен 19.09.2011Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.
курсовая работа, добавлен 22.09.2009- 39. Булева алгебра
Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
презентация, добавлен 11.10.2014 Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
дипломная работа, добавлен 08.08.2007- 41. Булевы функции
Использование эквивалентных преобразований. Понятие основных замкнутых классов. Метод минимизирующих карт и метод Петрика. Операция неполного попарного склеивания. Полином Жегалкина и коэффициенты второй степени. Таблицы значений булевых функций.
контрольная работа, добавлен 06.06.2011 Основные свойства многочленов Чебышева - двух последовательностей ортогональных многочленов, их роль в теории приближений. Способы определения, явные формулы. Многочлен Чебышева на отрезке. Случай произвольного отрезка. Разработка программной реализации.
курсовая работа, добавлен 19.12.2012Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.
методичка, добавлен 02.11.2008Понятие многочленов и их свойства. Сущность метода неопределённых коэффициентов. Разложения многочлена на множители. Максимальное число корней многочлена над областью целостности. Методические рекомендации по изучению темы "Многочлены" в школьном курсе.
дипломная работа, добавлен 20.07.2011Допустимые кольца и решетки. Допустимые полутела. О единственности расширения. Теория полуколец - раздел современной алгебры, находящий применения в компьютерной алгебре, идемпотентном анализе, теории оптимального управления.
дипломная работа, добавлен 08.08.2007Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
курсовая работа, добавлен 27.04.2011Понятие многочлена и его степени. Многочлен, у которого все коэффициенты равны нулю. Многочлены от одной переменной. Равенство и значение многочленов. Операции над многочленами, основные понятия схемы Горнера. Кратные и рациональные корни многочлена.
курсовая работа, добавлен 15.06.2010Формулирование и доказательство великой теоремы Ферма методами элементарной алгебры с использованием метода замены переменных для показателя степени n=4. Необходимые условия решения уравнения. Отсутствие решения теоремы в целых положительных числах.
творческая работа, добавлен 17.10.2009Доказательство теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений для четных и нечетных показателей степени. Теорема о разложении на простые множители целых составных чисел.
научная работа, добавлен 12.06.2009Доказательство великой теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений и методов замены переменных. Теорема о единственности разложения на простые множители целых составных чисел.
статья, добавлен 21.05.2009