Характеристика логических высказываний
Особенность определения отрицания высказывания. Основная характеристика дизъюнкции и конъюнкции суждений. Главный анализ построения логической операции импликации. Сущность эквивалентности двух фраз. Изучение обозначения штриха Шеффера и стрелки Пирса.
Подобные документы
Определение и примеры мощности множеств. Определение бинарного отношения. Описание способов задания отношений. Характеристика свойств бинарных отношений. Изучение отношений эквивалентности и частичного порядка. Анализ свойств отображения функций.
лекция, добавлен 25.12.2016- 102. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Сущность принципа резолюций в логике высказываний. Доказательства невыполнимости, основанные на данном принципе. Правила и примеры использования метода доказательства теорем через поиск противоречий. Стратегии решении задач в алгебре предикатов.
курсовая работа, добавлен 06.02.2014Основная характеристика моделей структурной динамики сетевых систем. Определение класса предфрактальных деревьев, порожденных множеством затравок-звезд с чередованием. Анализ построения и обоснования полиномиального характера алгоритма распознавания.
статья, добавлен 28.04.2017Алгоритм построения пересечения двух поверхностей. Рассмотрение построения линии пересечения трехгранных призмы и пирамиды. Способы построения линии пересечения криволинейной поверхности с плоскостями (гранями многогранника) и с прямыми (его ребрами).
лекция, добавлен 24.07.2014Анализ понятия матрицы: классификация и основные операции над ними. Определители квадратной матрицы и их свойства. Теоремы Лапласа и аннулирования. Обратная матрица: определение понятий, ее единственность, а также алгоритм ее построения и свойства.
курсовая работа, добавлен 21.04.2011Характеристика понятия вероятности. Изучение истории возникновения понятия и теории вероятности. Рассмотрение методик определения вероятности: классической и статической, сравнение их основных преимуществ и недостатков. Изучение свойств вероятности.
реферат, добавлен 12.01.2015Изучение свойств и описание состава пространств С.Л. Соболева: плотность, определения и обозначения. Исследование структуры интегральных операторов со слабой особенностью. Представления функции и теоремы вложения Соболева: эквивалент норм в пространстве.
лекция, добавлен 08.11.2012Стратегия научного исследования – совокупность этапов, располагаемых в логической последовательности их выполнения и отражающих сущности сформированного названия на начальной стадии соответствующей темы. Обобщение – один из видов логических операций.
статья, добавлен 25.08.2020- 110. Теория графов
Исследование математической теории о совокупности непустого множества вершин и ребер. Анализ кратности неориентированных и ориентированных дуг. Характеристика понятия эквивалентности при множестве вершин. Обоснование гомеоморфного подразбиения дуги.
лекция, добавлен 18.10.2013 Построение линии пересечения двух плоскостей. Алгоритм для определения точки пересечения прямой с плоскостью общего положения. Решение с помощью фронтально-проецирующей плоскости. Построение линии пересечения двух треугольников и определение видимости.
презентация, добавлен 29.10.2013Определение основных понятий элементарной математики. Операции над множествами и законы для подмножеств: коммутативности (переместительный закон) и ассоциативности (сочетательный закон). Отображения, а также отношения эквивалентности и упорядоченности.
реферат, добавлен 17.01.2011Пути повышения производительности позиционной компьютерной системы обработки целочисленных данных. Обзор метода табличной реализации арифметической операции умножения двух чисел, представленных для положительного и отрицательного числовых диапазонов.
статья, добавлен 14.07.2016Изучение ориентированного конечного графа. Характеристика инцидентности ребра и вершины. Основы построения матриц смежности и инцидентности. Рассмотрение примеров объединения графов. Анализ условий и компонентов связности. Изучение эйлеровых цепей.
презентация, добавлен 31.10.2013Принципы проведения операции нечеткого логического вывода, ее система и алгоритм, основные модели осуществления. Способы разработки и реализации функций на примере механизма Мамдани. Графический вывод для двух входных переменных и двух нечетких правил.
реферат, добавлен 17.07.2013- 116. Основы математики
Ознакомление с методами обозначения частной производной функции. Определение условий дифференцирования функции. Рассмотрение символики для обозначения частных производных. Исследование теоремы о частных производных. Анализ сущности смешанных производных.
лекция, добавлен 13.04.2015 Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Характеристика методов определения тематики запроса, используя графовые модели данных. Изучение особенностей хранения данных в ориентированном и неориентированном графе. Описание методики построения как ориентированного, так и неориентированного графа.
статья, добавлен 29.07.2018Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Свойства логического мышления. Сущность законов тождества, непротиворечия, исключенного третьего и достаточного основания. Роль языка в хранении и передаче информации в процессе познания. Образование союзов и кванторов. Понятие конъюнкции и инверсии.
контрольная работа, добавлен 01.02.2020Сущность и математическое обоснование, обозначения и классификация матриц, их разновидности и правила умножения. Характеристика и главные признаки обратимых матриц. Описание простейших свойств определителей. Содержание и использование теоремы Лагранжа.
курсовая работа, добавлен 11.01.2015Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Сущность, социальное назначение и функции логики, ее роль в формировании логической культуры человека и значение для людей различных профессий. Характеристика видов аргументирования философской науки, ее законы. Доказательство и его логическая структура.
реферат, добавлен 25.11.2010Элементы, из которых состоит множество. Примеры обозначений с помощью логической символики. Квантор всеобщности и существования. Свойства множеств. Операции логического сложения, умножения, разности. Окрестности точки х как особый вид множества.
лекция, добавлен 29.09.2013Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
лекция, добавлен 15.11.2017