Основные понятия алгебры логики
Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
Подобные документы
Матрицы, определители, системы линейных уравнений. Элементарные преобразования матриц, ранг матрицы. Матричная запись системы линейных уравнений и ее матричное решение. Элементы векторной алгебры и аналитической геометрии. Смешанное произведение векторов.
учебное пособие, добавлен 25.11.2012Основные топологические понятия; аксиомы топологии и примеры некоторых соотношений в топологических пространствах. Булева алгебра и регулярные замкнутые множества: булево объединение и булево пересечение произвольного семейства элементов булевой алгебры.
курсовая работа, добавлен 07.07.2012Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
учебное пособие, добавлен 15.01.2016Понятие и сущность логики. Становления структурной лингвистики, её взаимодействие с математикой. Логические операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация. Создание обучающего ресурса, проведение педагогического эксперимента.
дипломная работа, добавлен 20.12.2013Ознакомление с ключевыми этапами становления математики. Формирование арифметики, геометрии и алгебры. Предпосылки создания системы счисления. Значение вавилонской и египетской цивилизаций в развитии математики. Анализ греческих методов вычислений.
реферат, добавлен 23.05.2016Сущность понятий скалярной и векторной математических величин. Основные свойства операций с векторами. Разложение векторов по ортам. Определение проекции вектора и их свойства. Действия с векторами в координатной форме при условие коллинеарности.
презентация, добавлен 03.10.2012Изучение понятий операций конъюнкции (логического умножения) и дизъюнкции (логическое сложение) над предикатами, заданными на множествах. Рассмотрение их свойств и приведение примеров доказательств равенства и тождества с использованием кругов Эйлера.
презентация, добавлен 05.01.2014Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.
реферат, добавлен 10.11.2011Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Поле как множество, содержащее не менее двух элементов, на котором заданы две бинарные алгебраические операции – умножение и сложение. Варианты построения множества рациональных чисел. Элементарное понятие о дробном числе. Введение правил сравнения.
методичка, добавлен 17.09.2014Множества: операции, свойства, уравнения, декартово произведения. Способы описания бинарного отношения. Эквивалентность, понятия комбинаторики. Графы: определения, расширения модели, оптимизационные задачи. Алгебры, группы, изоморфизмы и гомоморфизмы.
учебное пособие, добавлен 18.01.2015Основные понятия матрицы и ее определителей. Использование теорем замещения и аннулирования в доказательстве свойств определителей. Алгебраическое дополнение и минор элемента. Операции вычисления между элементами строк и столбцов квадратной матрицы.
лекция, добавлен 29.09.2013История математики в Индии. Счётное устройство инков. Древнеегипетские математические тексты. Вавилонская расчётная техника. Цифры в Древнем Китае, их обозначение специальными иероглифами. Развитие математики в Европе. Древнерусская нумерация чисел.
реферат, добавлен 13.06.2013- 92. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017 - 93. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Представительница древнегреческой философии и математики - Гепатия Александрийская. Обучение Софьи Ковалевской и работа на пользу русской науки. Математическое дарование Эмми Нетер, ее вклад в развитие алгебры. Исследования Нины Бари и Ольги Олейник.
реферат, добавлен 10.11.2010Обозначение множества точек на отрезке прямой плоскости. Характеристика коллинеарных векторов расположенных на одной либо на параллельных прямых. Анализ правил сложения на примере треугольника и параллелограмма. Обзор проекции произведения слагаемых.
лекция, добавлен 29.09.2013Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012Определение и свойства матриц, операции над ними. Практическое значение правила Крамера. Суть метода Гаусса. Взаимное расположение прямых на плоскости. Проекции вектора на ось. Сущность инверсии в перестановке чисел. Скалярное произведение векторов.
шпаргалка, добавлен 23.01.2011Основные понятия векторной алгебры. Аналитическая геометрия в пространстве. Введение в математический анализ. Дифференциальное исчисление, неопределенные и определенные интегралы. Функции нескольких переменных. Ряды и дифференциальные уравнения.
учебное пособие, добавлен 09.12.2016- 99. Алгебра событий
Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.
контрольная работа, добавлен 09.01.2015 - 100. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015