Булева алгебра и логические схемы для коньюнктора, дезъюнктора, инвентора, равнозначности и неравнозначности с положительной и отрицательной логикой
История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
Подобные документы
Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Сокращенные, тупиковые дизъюнктивные нормальные формы. Полные системы булевых функций. Алгоритм Квайна, Мак-Класки минимизации булевой функции. Геометрическое представление логических функций. Геометрический метод минимизации булевых функций. Карты Карно.
курсовая работа, добавлен 21.02.2009Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Численные методы решения систем линейных алгебраических уравнений, алгоритмы, их реализующие. Нормы матриц и векторов, погрешность приближенного решения системы и обусловленность матриц. Интеграционные методы решения: методы простой итерации, релаксации.
учебное пособие, добавлен 02.03.2010Решение системы уравнений по формулам Крамера и методом Гаусса. Нахождение объема пирамиды, площади грани, величины проекции вектора с помощью средств векторной алгебры. Пример определения и решения уравнения стороны, высоты и медианы треугольника.
контрольная работа, добавлен 22.04.2014История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.
курсовая работа, добавлен 22.12.2015Особенности решения задач Диофантовой "Арифметики", которые решаются с помощью алгебраических уравнений или системы алгебраических уравнений с целыми коэффициентами. Характеристика великой теоремы Ферма, анализ и методы приминения алгоритма Евклида.
реферат, добавлен 03.03.2010Вычисление и построение матрицы алгебраических дополнений. Решение системы линейных уравнений по формулам Крамера, с помощью обратной матрицы и методом Гаусса. Определение главной и проверка обратной матрицы. Аналитическая геометрия на плоскости.
контрольная работа, добавлен 20.04.2016Раздел математики, непосредственно относящийся к задачам физической и инженерной практики. Элементы векторной и линейной алгебры; описание способов выполнения различных операций над векторами: сложение, вычитание, геометрически смешанное произведение.
презентация, добавлен 02.05.2012Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.
контрольная работа, добавлен 27.04.2011Особенности периода математики постоянных величин. Создание арифметики, алгебры, геометрии и тригонометрии. Общая характеристика математической культуры Древней Греции. Пифагорейская школа. Открытие несоизмеримости, таблицы Пифагора. "Начала" Евклида.
презентация, добавлен 20.09.2015Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Европейская математика эпохи Возрождения. Создание буквенного исчисления Франсуа Виет и метода решения уравнений. Усовершенствование вычислений в конце XVI – начале XVII веков: десятичные дроби, логарифмы. Установление связи тригонометрии и алгебры.
презентация, добавлен 20.09.2015Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.
дипломная работа, добавлен 04.06.2002Элементы аналитической геометрии и линейной алгебры. Методы построения графика функции. Предел и непрерывность функции. Дифференциальное исчисление функции одной переменной. Определители и системы уравнений. Построение прямой и плоскости в пространстве.
методичка, добавлен 24.08.2009Предпосылки развития алгебры множеств. Основы силлогистики и соотношение между множествами. Применение и типы жергонновых отношений. Понятие пустого множества и универсума. Построение диаграмм Эйлера и обоснование законов транзитивности и контрапозиции.
контрольная работа, добавлен 03.09.2010Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа, добавлен 29.11.2010Подборка комичных отрывков из конспектов студентов 4-го курса механико-математического факультета и некоторых казусных фраз и высказываний их преподавателей. Сущность и обобщение принципа Максима Понтрягина. Методика доказательства очевидного неравенства.
учебное пособие, добавлен 28.03.2010Работа систем с отрицательной обратной связью. Повышение быстродействия системы за счет уменьшения ее инерционности как важнейшее свойство отрицательной обратной связи. Осуществление безопасности от внешних возмущающих и сохранение полезных сигналов.
реферат, добавлен 04.05.2010Операции логики с понятием "суд". Объединённая классификация суждений, их логические обозначения. Составные части сложного суждения, запись их с помощью символов, пропозициональных союзов. Полный разбор силлогизма. Запись формально-логического закона.
контрольная работа, добавлен 23.10.2013- 74. Алгебра
Квадратные матрицы и определители. Координатное линейное пространство. Исследование системы линейных уравнений. Алгебра матриц: их сложение и умножение. Геометрическое изображение комплексных чисел и их тригонометрическая форма. Теорема Лапласа и базис.
учебное пособие, добавлен 02.03.2009 Рассмотрение систем линейных алгебраических уравнений общего вида. Сущность теорем и их доказательство. Особенность трапецеидальной матрицы. Решение однородных и неоднородных линейных алгебраических уравнений, их отличия и применение метода Гаусса.
реферат, добавлен 14.08.2009