Булева алгебра и логические схемы для коньюнктора, дезъюнктора, инвентора, равнозначности и неравнозначности с положительной и отрицательной логикой
История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
Подобные документы
Классификация способов нахождения обратной матрицы, полученной в системе MathCAD с помощью миноров и алгебраических дополнений: разбиения ее на клетки и на произведение 2-х треугольных матриц; с помощью модели Гаусса. Вычисление погрешности методов.
лабораторная работа, добавлен 31.10.2012Об истории возникновения комплексных чисел и их роли в процессе развития математики. Алгебраические действия над комплексными числами и их геометрический смысл. Применение комплексных чисел к решению алгебраических уравнений 3-ей и 4-ой степеней.
курсовая работа, добавлен 03.01.2008Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.
методичка, добавлен 02.11.2008Методы решения систем линейных алгебраических уравнений (СЛАУ): Гаусса и Холецкого, их применение к конкретной задаче. Код программы решения перечисленных методов на языке программирования Borland C++ Builder 6. Понятие точного метода решения СЛАУ.
реферат, добавлен 24.11.2009Изучение свойств геометрических объектов при помощи алгебраических методов. Основные операции над векторами. Умножение вектора на отрицательное число. Скалярное произведение векторов. Нахождение угла между векторами. Нахождение координат вектора.
контрольная работа, добавлен 03.12.2014- 81. Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа, добавлен 13.02.2010 Сущность итерационного метода решения задачи, оценка его главных преимуществ и недостатков. Разновидности итерационных методов решения систем линейных алгебраических уравнений: Якоби, Хорецкого и верхней релаксации, их отличия и возможности применения.
курсовая работа, добавлен 01.12.2009Понятие квадратичной формы и способы ее записи. Действительные и недействительные, вырожденные и невырожденные формы, ранг матрицы. Знакоопределенность квадратичных форм, определение ее миноров. Критерии положительной и отрицательной определенностей.
контрольная работа, добавлен 03.08.2010Решение системы линейных алгебраических уравнений большой размерности с разреженными матрицами методом простого итерационного процесса. Понятие нормы матрицы и вектора. Критерии прекращения итерационного процесса. Выбор эффективного итерационного метода.
лабораторная работа, добавлен 06.07.2009История возникновения и понятия дифференциальной геометрии, в которой плоские и пространственные кривые и поверхности изучаются с помощью дифференциального исчисления и методами математического анализа. Применение темы "Теория поверхностей " в школе.
реферат, добавлен 23.04.2015Законы алгебры Буля и их применение для преобразования логических выражений. Расчет информационной емкости документов предметной области. Построение инфологической, реляционной и даталогической моделей. Применение методов поиска и сортировки данных.
курсовая работа, добавлен 05.01.2013- 87. Математика
Математика и информатика. Решение системы линейных алгебраических уравнений методом Крамера. Работа в текстовом редакторе MS WORD. Рисование с помощью графического редактора. Определение вероятности. Построение графика функции с помощью MS Excel.
контрольная работа, добавлен 10.01.2009 Особенности системы индексных обозначений. Специфика суммирования в тензорной алгебре. Главные операции в алгебре, которые называются сложением, умножением и свертыванием. Применение операции внутреннего умножения. Симметричные и антисимметричные объекты.
реферат, добавлен 07.12.2009Изучение абстрактных систем замыканий на множестве. Теорема о взаимосвязи между системами замыканий и операторами замыкания. Понятие и структура алгебраических систем замыканий. Анализ соответствия Галуа как наиболее важного примера систем замыканий.
дипломная работа, добавлен 27.05.2008Расчет произведения заданных матриц. Решение системы линейных алгебраических уравнений по формулам Крамера, матричным методом и методом Гаусса. Координаты вектора в базисе. Определение ранга заданной матрицы. Система с базисом методом Жордана-Гаусса.
контрольная работа, добавлен 19.01.2014Проектирование математической модели. Описание игры в крестики-нолики. Модель логической игры на основе булевой алгебры. Цифровые электронные устройства и разработка их математической модели. Игровой пульт, игровой контроллер, строка игрового поля.
курсовая работа, добавлен 28.06.2011Вычисление определителя 4-го порядка, математическое решение системы методами матрицы, Крамера и Гаусса. Характеристика понятий невырожденной и обратной, транспонированной и присоединенной матрицы, нахождение алгебраических дополнений элементов таблицы.
контрольная работа, добавлен 12.06.2011Способы решения логических задач типа "Кто есть кто?" методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
курсовая работа, добавлен 15.06.2010Решение задач систем линейных алгебраических уравнений, матричных уравнений, методы Гаусса и Кремера. Нахождение длины и координат вектора и исчисление его скалярного произведения. Уравнение прямой и определение координат точек неравенства; пределы.
контрольная работа, добавлен 06.01.2011Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат, добавлен 24.07.2014Определение типа кривой по виду уравнения, уравнение с угловым коэффициентом, в отрезках и общее уравнение. Определение медианы, уравнения средней линии в треугольнике. Вопросы по линейной алгебре. Решение системы уравнения при помощи обратной матрицы.
контрольная работа, добавлен 31.10.2010Выбор основного алгоритма решения задачи. Требования к функциональным характеристикам программы. Минимальные требования к составу и параметрам технических средств и к информационной и программной совместимости. Логические модели, блок-схемы алгоритмов.
курсовая работа, добавлен 16.11.2010Обзор таблицы производных элементарных функций. Понятие промежуточного аргумента. Правила дифференцирования сложных функций. Способ изображения траектории точки в виде изменения ее проекций по осям. Дифференцирование параметрически заданной функции.
контрольная работа, добавлен 11.08.2009- 99. Круги Эйлера
Изобретение Леонардом Эйлером геометрической схемы, с помощью которой можно изобразить отношения между подмножествами. Изучение частного случая кругов Эйлера — диаграммы Эйлера—Венна, изображающей все 2^n комбинаций n свойств (конечную булеву алгебру).
презентация, добавлен 16.02.2015 Итерационные методы (методы последовательных приближений) для решения уравнений. Одношаговые итерационные формулы. Метод последовательных приближений Пикара. Возникновение хаоса в детерминированных системах. Методы решения систем алгебраических уравнений.
контрольная работа, добавлен 04.09.2010