Булева алгебра и логические элементы

Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.

Подобные документы

  • Особенность выполнения различных операций с матрицами. Исследование скалярного и векторного произведения векторов. Применение матричных функций для решения задач линейной алгебры в MathCAD. Анализ однородных и неоднородных систем линейных уравнений.

    презентация, добавлен 08.04.2018

  • Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.

    учебное пособие, добавлен 12.05.2014

  • Изучение матриц и линейных уравнений как основных элементов линейной алгебры. Описание элементов векторной алгебры. Исследование основ аналитической геометрии на плоскости и в пространстве. Составляющие производных, функций и математического анализа.

    курс лекций, добавлен 23.09.2012

  • Основные понятия векторной алгебры. Аналитическая геометрия в пространстве. Введение в математический анализ. Дифференциальное исчисление, неопределенные и определенные интегралы. Функции нескольких переменных. Ряды и дифференциальные уравнения.

    учебное пособие, добавлен 09.12.2016

  • Основные понятия матрицы и ее определителей. Использование теорем замещения и аннулирования в доказательстве свойств определителей. Алгебраическое дополнение и минор элемента. Операции вычисления между элементами строк и столбцов квадратной матрицы.

    лекция, добавлен 29.09.2013

  • Элементы линейной алгебры и аналитической геометрии. Дифференциальное исчисление функции одной и нескольких переменных. Комплексные числа, уравнения математической физики. Элементы теории вероятностей и математической статистики, дискретная математика.

    учебное пособие, добавлен 02.12.2014

  • Системы знаков и их роль в математике. Оперирование математическими знаками. Введение нуля и развитие позиционной десятичной системы счисления. Символика Виета и Декарта и развитие алгебры. Развитие алгебры в Европе. Обозначение производной и интеграла.

    курсовая работа, добавлен 01.03.2011

  • Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.

    презентация, добавлен 12.03.2015

  • Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.

    курс лекций, добавлен 06.12.2015

  • Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.

    реферат, добавлен 07.11.2015

  • Методы решения алгебраических уравнений 3-й и 4-й степени с одним неизвестным. Доказательство теоремы Абеля. Понятие группы и ее свойства. Теорема алгебры комплексных чисел. Функции комплексного переменного. Римановы поверхности сложных выражений.

    книга, добавлен 28.12.2013

  • Интерполяционная формула Лагранжа. Определение производных функции. Оценка остаточного члена. Исчисление корня уравнения с помощью обратного интерполирования. Построение интерполяционного многочлена Ньютона. Сущность вычислительных методов алгебры.

    контрольная работа, добавлен 23.04.2011

  • Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.

    контрольная работа, добавлен 01.02.2012

  • Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.

    лабораторная работа, добавлен 03.03.2015

  • Подобие второго рода. Осевая симметрия. Следствия векторных формул. Алгебра преобразований и векторных формул, примеры решения основных задач с их использованием. Исследование векторных выражений. Вывод формул разложения на элементарные преобразования.

    статья, добавлен 04.05.2012

  • Диаграмма Эйлера-Венна для множества. Системы счисления с креном. Построение Эйлеровой цепи в неориентированном графе. Определение минимального остовного дерева в неориентированном нагруженном графе. Понятие булевой функции и методы ее представления.

    контрольная работа, добавлен 13.03.2017

  • Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.

    контрольная работа, добавлен 05.09.2016

  • Определитель как одно из основных понятий линейной алгебры. Нахождение обратной матрицы. Коэффициенты при переменных и свободные членов. Методы Крамера и Гаусса. Отрезки, отсекаемые плоскостью на осях координат. Исследование функции и построение графика.

    контрольная работа, добавлен 08.10.2014

  • Аксиоматическое построение множества натуральных чисел. Отношение делимости и его свойства. Полная и приведенная системы вычетов, теорема Эйлера и Ферма. Тригонометрическая форма записи комплексного числа. Действия над ними в алгебраической форме.

    учебное пособие, добавлен 19.01.2015

  • Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.

    лекция, добавлен 22.10.2013

  • Биография создателя линейной алгебры Г. Крамера. Основные понятия матрицы и действия над ними. Описание системы линейных уравнений и её решение. Вектор как геометрическая абстракция для объектов, характеризующихся одновременно величиной и направлением.

    доклад, добавлен 20.05.2016

  • Исторические сведения о зарождении уравнения. Первоначальное значение термина алгебра. Зарождение искусства решения уравнений. Значительный вклад в развитие языка алгебры Ф. Виета. Усовершенствование теории уравнений с применением изобретенных символов.

    контрольная работа, добавлен 29.01.2012

  • Аналитическая геометрия как раздел математики, в котором изучают свойства геометрических объектов средствами алгебры и математического анализа при помощи метода координат. Основные понятия, принципы данного метода, условия его эффективного использования.

    реферат, добавлен 16.03.2016

  • Элементы векторной алгебры. Басизы и координаты. Скалярное произведение. Прямые на плоскости и в пространстве. Замены координат. Конические сечения: эллипс, гипербола, парабола. Теоремы единственности для кривых второго порядка. Пополнение плоскости.

    курс лекций, добавлен 10.09.2016

  • Завершение проблемы великой теоремы Ферма (ТФ). Бесконечный спуск для нечётных показателей. Доказательство ТФ методами элементарной алгебры. Алгоритм решения Диофантовых уравнений. Закономерность распределения простых чисел в натуральном числовом ряду.

    статья, добавлен 30.03.2017

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.