Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
Подобные документы
Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
учебное пособие, добавлен 12.11.2017- 28. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
реферат, добавлен 25.12.2015Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012- 32. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 - 33. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
презентация, добавлен 06.12.2013 Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018- 35. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Элементы линейной алгебры и аналитической геометрии. Дифференциальное исчисление функции одной и нескольких переменных. Комплексные числа, уравнения математической физики. Элементы теории вероятностей и математической статистики, дискретная математика.
учебное пособие, добавлен 02.12.2014Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Представление синусоидального тока комплексными величинами. Матричная алгебра, предмет и содержание ее исследований, современные тенденции и достижения. Понятие и характерные свойства матрицы размера. Вычисление обратных матриц различными способами.
реферат, добавлен 15.06.2013Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
статья, добавлен 16.01.2018Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Рассмотрение основных свойств конъюнкции, дизъюнкции и отрицания, их отличия. Сущность логической функций как функции, у которой все переменные и сама функция могут принимать только два значения: 0 и 1. Понятие карт Карно, их порядок использования.
методичка, добавлен 09.11.2014- 50. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017