Булевы функции
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
Подобные документы
Изучение свойств геометрических объектов при помощи алгебраических методов. Основные операции над векторами. Умножение вектора на отрицательное число. Скалярное произведение векторов. Нахождение угла между векторами. Нахождение координат вектора.
контрольная работа, добавлен 03.12.2014Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.
контрольная работа, добавлен 05.07.2014Изучение прямых методов решения вариационных и краевых задач математического анализа. Основные идеи методов Ритца и Галеркина для нахождения приближенного обобщенного решения задачи минимизации функционала. Особенности, сходство и отличие данных методов.
презентация, добавлен 30.10.2013Решение задач линейной алгебры с разреженными матрицами на примере дискретизации уравнения Пуассона. Сущность векторных и матричных норм, основные виды итерационных методов, определение и условия их сходимости. Понятие инвариантных подпространств.
учебное пособие, добавлен 02.03.2010Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
дипломная работа, добавлен 08.08.2007Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.
методичка, добавлен 05.07.2010Вычислительные методы линейной алгебры. Интерполяция функций. Интерполяционный многочлен Ньютона. Узлы интерполяции. Интерполяционный многочлен Лагранжа. Интерполяция сплайнами. Коэффициенты кубических сплайнов.
лабораторная работа, добавлен 06.02.2004История развития алгебры как научной дисциплины. Расширения Галуа как универсальный метод решения уравнений любой степени. Определение понятия коммуникативной (абелевой) группы. Сущность кольца и его свойства. Примеры использования конечного поля.
реферат, добавлен 28.05.2014Изучение понятия о логической величине. Отличия общих, частных, единичных высказываний. Таблица истинности. Принципы использования простых и составных логических выражений. Вложенное ветвление. Определение наибольшего среди трех чисел неполного ветвления.
презентация, добавлен 09.10.2013Изучение полиномиальных уравнений и путей их решений. Доказательство теорем Безу и Штурма. Ознакомление с правилами использования формул Виета, математических методов Лобачевского, касательных и пропорциональных отрезков для определения корней многочлена.
курсовая работа, добавлен 19.09.2011История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа, добавлен 10.10.2014Элементы аналитической геометрии и линейной алгебры. Методы построения графика функции. Предел и непрерывность функции. Дифференциальное исчисление функции одной переменной. Определители и системы уравнений. Построение прямой и плоскости в пространстве.
методичка, добавлен 24.08.2009Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
курсовая работа, добавлен 12.07.2015Сравнительный анализ численных методов решения систем линейных алгебраических уравнений. Вычисление определителей и обратных матриц. Реализация методов в виде машинных программ на языке высокого уровня и решение задач на ЭВМ. Модификации метода Гаусса.
реферат, добавлен 04.03.2011Теория высшей алгебры в решении задач элементарной математики. Программы для нахождения частного и остатка при делении многочленов, наибольшего общего делителя двух многочленов, производной многочлена; разложения многочленов на кратные множители.
дипломная работа, добавлен 09.01.2009Основные свойства функций, для которых существуют пределы. Понятие бесконечно малых величин и их суммы. Предел алгебраической суммы, разности и произведения конечного числа функций. Предел частного двух функций. Нахождение предела сложной функции.
презентация, добавлен 21.09.2013Проектирование математической модели. Описание игры в крестики-нолики. Модель логической игры на основе булевой алгебры. Цифровые электронные устройства и разработка их математической модели. Игровой пульт, игровой контроллер, строка игрового поля.
курсовая работа, добавлен 28.06.2011Общая схема методов спуска. Метод покоординатного спуска. Минимизация целевой функции по выбранным переменным. Алгоритм метода Гаусса-Зейделя. Понятие градиента функции. Суть метода наискорейшего спуска. Программа решения задачи дискретной оптимизации.
курсовая работа, добавлен 30.04.2011Метод Форда-Беллмана для нахождения расстояния от источника до всех вершин графа. Алгоритмы поиска расстояний и отыскания кратчайших путей в графах. Блочно-диагональный вид и матрица в исследовании системы булевых функций и самодвойственной функции.
курсовая работа, добавлен 10.10.2011Задачи вычислительной линейной алгебры. Математическое моделирование разнообразных процессов. Решение систем линейных алгебраических уравнений большой размерности. Метод обратной матрицы и метод Гаусса. Критерии совместности и определенности системы.
курсовая работа, добавлен 21.10.2011Нечеткая логика как раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечеткого множества. Основные правила и законы данной логики, алгоритм Мамдани. Содержание и принципы решения задачи о парковке.
курсовая работа, добавлен 22.04.2014Изучение нестандартных методов решения задач по математике, имеющих широкое распространение. Анализ метода функциональной, тригонометрической подстановки, методов, основанных на применении численных неравенств. Решение симметрических систем уравнений.
курсовая работа, добавлен 14.02.2010Математическая логика (бессмысленная логика), логика "здравого смысла" и современная логика. Математические суждения и умозаключения, их направления. Математическая логика и "Здравый смысл" в XXI веке. Неестественная логика в основаниях математики.
реферат, добавлен 21.12.2008Доказательство великой теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений и методов замены переменных. Теорема о единственности разложения на простые множители целых составных чисел.
статья, добавлен 21.05.2009Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014