Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
Подобные документы
- 101. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Рассмотрение классической логики Аристотеля. Исследование классификации силлогизмов в математике. Пропозициональный вариант логики Аристотеля. Истинностные значения величины в логическом интервале. Нечеткие пропозициональные силлогизмы с паттерном.
статья, добавлен 18.01.2018Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.
курс лекций, добавлен 01.04.2016Определение понятия нечеткого силлогизма как некоторого состоятельного правила вывода для баз фактов в Аристотелевой логике. Построение нечетких силлогизмов для пропозициональной Аристотелевой логики с треугольной нормой Заде. Отношения между множествами.
статья, добавлен 18.01.2018Функции алгебры логики одной переменной. Пример равносильных вариантов аналитической записи функции f1(x). Пример технической реализации функции f6(x) на контактах электромагнитных реле. Построение дискретного устройства. Релейно-контактная схема.
лекция, добавлен 15.11.2017Сущность, социальное назначение и функции логики, ее роль в формировании логической культуры человека и значение для людей различных профессий. Характеристика видов аргументирования философской науки, ее законы. Доказательство и его логическая структура.
реферат, добавлен 25.11.2010Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
лекция, добавлен 15.11.2017Анализ формирования математических понятий. Дедуктивный характер доказательств. Использование идеальных объектов как особенность математической абстракции. Связь между понятиями "упражнение" и "задача", признаки. Организация усвоения теоремы задачи.
статья, добавлен 11.11.2018Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Изучение теории множеств, их включения и равенства. Характеристика математической логики и предела последовательности функций. Определения первообразных и неопределенных интегральных исчислений. Анализ векторных функций. Тригонометрическая система.
курс лекций, добавлен 29.05.2013Изучение упорядочивания числа объектов. Исследование независимости критериев по предпочтению и транзитивности. Разбор противоречий с помощью транзитивного квазизамыкания. Анализ использования рациональной логики для вывода отношений между объектами.
доклад, добавлен 17.01.2018Особенности алгебры над множеством логических функций и переменных, сигнатура которой содержит две бинарные операции. Характеристика полиномома Жегалкина. Основные аспекты его поиска. Анализ основ использования метода неопределенных коэффициентов.
реферат, добавлен 06.04.2015- 113. Высшая математика
Векторная алгебра и кривые второго порядка. Аналитическая геометрия в пространстве. Определенный интеграл и его геометрические приложения. Обобщение понятия определенного интеграла. Функции нескольких переменных. Двойные и несобственные интегралы.
учебное пособие, добавлен 03.10.2012 Принципы проведения операции нечеткого логического вывода, ее система и алгоритм, основные модели осуществления. Способы разработки и реализации функций на примере механизма Мамдани. Графический вывод для двух входных переменных и двух нечетких правил.
реферат, добавлен 17.07.2013Понятие, элементы и виды множества. Круги Эйлера. Разбиение на части. Декартово произведение множеств. Число элементов в объединении и разности конечных множеств. Способы решения текстовой задачи. Аксиоматическое построение системы натуральных чисел.
курс лекций, добавлен 26.11.2016- 116. Математика XIX века
Предыстория математической логики. Алгебраическая теория чисел. Социальная и антропометрическая статистика. Вклад К.Ф. Гаусса в теорию вероятностей. Исследования С.Д. Пуассона и О. Коши. П.Г. Лежен-Дирихле и теорема об арифметических прогрессиях.
книга, добавлен 25.11.2013 Анализ предложенного Л. Витгенштейном способа получения формул логики первого порядка через применение N-оператора. Обсуждение принципиальной возможности применения логической записи без знака тождества. Сопоставление алгоритмов К. Вемайера и Т. Ламперта.
статья, добавлен 30.01.2021Представление синусоидального тока комплексными величинами. Матричная алгебра, предмет и содержание ее исследований, современные тенденции и достижения. Понятие и характерные свойства матрицы размера. Вычисление обратных матриц различными способами.
реферат, добавлен 15.06.2013Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013- 120. Линейная алгебра
Понятие евклидова пространства. Коллинеарные векторы. Размерность и базис векторного пространства. Операции над матрицами. Линейное преобразование переменных. Теорема о делении с остатком. Понятие квадратичной формы, исчисление ее канонического базиса.
дипломная работа, добавлен 17.01.2011 - 121. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
статья, добавлен 16.01.2018 Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Решение задач по теории вероятности с помощью диаграмм Эйлера-Венна. Геометрическая интерпретация бинарных отношений. Отношение следствий пары высказываний. Анализ истинности суждений построением таблицы, преобразованием формулы, методом "от противного".
контрольная работа, добавлен 27.12.2014Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Парадоксы на примере математической науки. Преднамеренное, сознательное нарушение правил логики.
презентация, добавлен 17.02.2015