Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
Подобные документы
- 76. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Элементы линейной алгебры и ее следование из вычислительных задач. Матрица как математический объект, записываемый в виде прямоугольной таблицы элементов поля, представляющая совокупность строк и столбцов, на пересечении которых находятся её элементы.
презентация, добавлен 19.12.2015Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018Изучение сведений о матрицах. Рассмотрение алгебры матриц. Обзор определителей квадратных матриц. Анализ системы линейных уравнений. Определение положения векторов на плоскости и в трехмерном пространстве. Оценка элементов аналитической геометрии.
учебное пособие, добавлен 13.04.2019Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015- 81. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017 Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Понятие, сущность, значение и происхождение алгебры, характеристика её деления, отличия от арифметики. Процесс возникновения и развитие науки у арабов и европейцев, история её совершенствования. Первооткрыватели алгебры, их деятельность и работы.
реферат, добавлен 16.09.2014- 84. Алгебра событий
Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.
контрольная работа, добавлен 09.01.2015 Оценка раздела математики, который можно охарактеризовать как обобщение и расширение арифметики. Обзор происхождения алгебры на земле. Исследование её развития в разных странах со временем. Определение назначения алгебры и её применения в жизни человека.
реферат, добавлен 19.10.2016Структурный анализ надежности систем. Методы расчета систем с последовательной структурой. Суть параллельной структуры. Расчет надежности систем с параллельной и смешанной структурами. Описание условий работоспособности с помощью функций алгебры логики.
лекция, добавлен 09.09.2017Определение и направления исследования алгебры путей на связных графах. Описание их свойств и центральных элементов тел, частных для случая, когда граф является полным неориентированным графом без петель. Формулирование теорем и их доказательство.
статья, добавлен 31.05.2013Общая характеристика логических переключательных функций, построение их в таблицу истинности, описание и примеры создания стандартных видов функций, изучение основных принципов их минимизации и построения схем в различных базисах логических элементов.
реферат, добавлен 24.01.2014Исследование вопросов линейной алгебры и физики для активного и неформального усвоения: основные понятия и теоремы, формулы, решение практических задач, упражнения для самостоятельной работы, для решения на практических занятиях и для домашних заданий.
краткое изложение, добавлен 25.03.2011Введение понятия бинарного события. Рассмотрение событий, задаваемых булевыми функциями. Доказывание теоремы о вероятности события. Получение расчетных формул для условных вероятностей и формул Байеса, построение задач на применение полученных формул.
статья, добавлен 12.08.2020Алгебра матриц, линейные и матричные уравнения. Матрицы в экономических приложениях. Свободные векторы, система координат. Линейные операторы, квадратичные формы и классификация кривых второго порядка. Расположение прямых на плоскости и в пространстве.
учебное пособие, добавлен 06.02.2011- 92. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011- 94. Теория множеств
Определение понятия множеств Г. Кантора, их примеры и обозначения. Операции над множествами: пересечение, объединение, разность и дополнение, их наглядное представление на диаграмме Эйлера-Венна. Равенство, тождественность и эквивалентность множеств.
презентация, добавлен 10.05.2016 Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018Рассмотрение становления геометрической алгебры в Древней Греции, ее применения при решении уравнений, доказательстве алгебраических тождеств, при построении фигур. Влияние геометрической алгебры на разрешение математических проблем в арабских странах.
статья, добавлен 26.04.2019Характеристика основ нечёткой и модальной логики. Знакомство с примерами экспертных систем. Место математической логики в информационных технологиях и программировании. Рассмотрение правил записи сложных формул. Особенности метода дедуктивного вывода.
книга, добавлен 07.08.2013Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
статья, добавлен 16.01.2018Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Порядок и подходы к построению нового варианта логики аргументации. Принципы и анализ эффективности метода аналитических таблиц для предложенного варианта логики аргументации для обнаружения тавтологий, с использованием связи с теорией бирешеток.
статья, добавлен 17.01.2018