Основные понятия алгебры логики
Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
Подобные документы
Методика построения прямоугольных декартовых координат. Абсцисса как число, выражающее в некотором масштабе расстояние точки от координатной оси. Характеристика основных свойств векторного сложения. Алгоритм смешанного произведения трех векторов.
презентация, добавлен 31.10.2016- 102. Алгебра октав
Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012 Характеристика особенностей сложения, вычитания и деления комплексных чисел. Изучение основных понятий и правил векторной алгебры. Анализ операций над скалярными и векторными функциями в декартовой, цилиндрической и сферической системах координат.
лекция, добавлен 21.09.2014Понятие, виды и операции над векторами. Определение положения точки в декартовой системы координат. Отличия векторных от скалярных величин. Свойства смешанного произведения. Решения системы уравнений методом Крамера. Расчёт объема и высоты пирамиды.
лекция, добавлен 21.09.2017Формулы сокращенного умножения и разложения на множители, степени и корни, квадратное уравнение, прогрессии (арифметическая, геометрическая) математики. Тригонометрия (формулы сложения двойного и половинного аргумента), геометрия и стереометрия.
шпаргалка, добавлен 01.05.2009Виды матриц. Их сложение и умножение на число. Формула произведения согласованных матриц. Свойства линейных операций. Транспонирование математических таблиц. Характеристика определителей и их вычисление. Понятие минора и алгебраического дополнения.
презентация, добавлен 29.08.2015- 107. Реляционная алгебра
Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
реферат, добавлен 25.12.2015 Рассмотрение инструментов, применяемых для решения задач линейной алгебры с помощью MathCad. Определение значения матричного выражения. Определение матричного выражения в буквенном виде и запись его значения. Умножение матрицы на единичную матрицу.
практическая работа, добавлен 31.10.2019История применения алгебры в геометрии. Основные уравнения конических сечений. Анализ изложения аналитической геометрии у Декарта и Ферма. Кинематическое образование линий. Геометрия как раздел математики, изучающий пространственные отношения и формы.
контрольная работа, добавлен 20.10.2012Линейная комбинация векторов - сумма произведений направленных отрезков на некоторые вещественные числа. Основные неравенства, которые возникают из при сложении векторов. Абсолютная величина векторного отрезка - расстояние между его началом и концом.
лекция, добавлен 06.09.2017Диаграмма Эйлера-Венна как геометрическая схема, с помощью которой можно изобразить отношения между подмножествами для наглядного представления. Дизъюнкция - операция логики, отражающая употребление союза "или" в содержательных логических выводах.
контрольная работа, добавлен 08.01.2016Получение дополнительной когомологической информации об операциях Адамса в К-теории. Поиск формулы для вычисления коэффициентов Дынкина операций Адамса. Образующие элементы алгебры когомологии однородного пространства. Анализ доказательства теоремы.
статья, добавлен 05.07.2013Определение длины ребер и угла меду ними при заданных координатах вершины пирамиды. Вычисление пределов, без использования правила Лопиталя. Вычисление производных заданных функций, а также порядок построения графика. Расчет неопределенных интегралов.
контрольная работа, добавлен 15.05.2014Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Решение заданий базового уровня по все модулям алгебры и геометрии в 9 классе. Закрепление знаний школьного курса математики в процессе обучения. Планирование работы участника экзамена. Освоение государственных Федеральных образовательных стандартов.
презентация, добавлен 15.05.2014Структурный анализ надежности систем. Методы расчета систем с последовательной структурой. Суть параллельной структуры. Расчет надежности систем с параллельной и смешанной структурами. Описание условий работоспособности с помощью функций алгебры логики.
лекция, добавлен 09.09.2017- 117. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Знакомство с основными особенностями решения системы линейных алгебраических уравнений методом Гаусса, а также по правилу Крамера. Рассмотрение способов постройки графика функции. Методика получения эквивалентной исходной системы линейных уравнений.
контрольная работа, добавлен 23.06.2020- 119. Мальцевские чтения
Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012 Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
статья, добавлен 16.01.2018- 121. Векторная алгебра
Сущность векторной алгебры. Изучение математических операций с векторами (сложение, умножение). Понятие векторного пространства и линейной зависимости векторов, необходимость коллинеарности и компланарности. Скалярное произведение векторов и координаты.
конспект урока, добавлен 16.01.2010 Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Скалярные и векторные величины, линейные операции над ними в координатной форме, координатный базис, правило паралеллограма. Скалярное произведение векторов, их разложение по ортам в пространстве. Сонаправленные и противоположные колинеарные вектора.
методичка, добавлен 01.02.2013Криптография как один из наиболее распространённых способов защиты информации. Шифрование данных - технология, в которой используется множество инструментов из теории чисел, абстрактной и линейной алгебры. Алгоритм подбора пароля методом брутфорса.
статья, добавлен 24.02.2019Определители второго, третьего и четвертого порядка, их свойства и методы вычисления. Операции над матрицами и их особенности. Понятие ранга матрицы, правило Крамера. Матричный метод решения систем, пределы и непрерывность функций. Дифференциал функции.
учебное пособие, добавлен 28.08.2017