Характеристика логических высказываний
Особенность определения отрицания высказывания. Основная характеристика дизъюнкции и конъюнкции суждений. Главный анализ построения логической операции импликации. Сущность эквивалентности двух фраз. Изучение обозначения штриха Шеффера и стрелки Пирса.
Подобные документы
Аксиомы полуплоскости и луча: их возможности в построении геометрии. Основная характеристика изучения проблемы Жордана. Особенность смежных и вертикальных углов. Изучение метода равных треугольников, как исторически первого геометрического способа.
курсовая работа, добавлен 25.10.2015Сведения из теории множеств. Натуральные и целые числа: отношение эквивалентности, арифметические операции, отношение порядка на множестве. Изучение вещественных чисел. Анализ особенностей введения действительных чисел для студентов и школьников.
курсовая работа, добавлен 18.05.2016Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.
курс лекций, добавлен 01.04.2016Характеристика математической модели реальной конфликтной ситуации. Особенность формализации игры. Главный анализ нижней и верхней цены игрового процесса. Седловая точка в платежной матрице. Решение системы в смешанных стратегиях геометрическим методом.
реферат, добавлен 17.06.2015Основные понятия и обозначения, связанные с множествами и операциями над ними. Формула мощности объединения нескольких множеств. Теорема Кантора-Бернштейна и ее доказательства равномощности. Бинарное отношение эквивалентности и порядка. Теорема Цермело.
курс лекций, добавлен 28.12.2013Характеристика основных высказываний известных людей о науке, которая изучает величины. Главная особенность применения математики в медицине, пекарне, торговле, строительстве и в быту. Использование чисел в пословицах, поговорках и сочинениях учащихся.
презентация, добавлен 07.12.2014Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019Особенность понятия и видов числовых рядов. Основная характеристика необходимых и достаточных признаков сходимости. Теоретические аспекты радикального и интегрального примет Коши. Проведение исследования знакочередующихся и знакопеременных цепей.
курсовая работа, добавлен 18.05.2017- 84. Численные методы
Изучение сущности и особенностей построения интерполирующей функции. Рассмотрение метода полиномиальной интерполяции Шарля Эрмита. Анализ интерполяционных формул для функций двух переменных. Специфика численного дифференцирования и его погрешность.
реферат, добавлен 19.05.2014 Особенность построения параметров роста вклада при рассмотрении условий аддитивности. Характеристика сущности аддитивной функции. Проведение исследования решения функциональных задач, которые возникли в связи с условием согласованности во времени.
лекция, добавлен 30.01.2017Поле как множество, содержащее не менее двух элементов, на котором заданы две бинарные алгебраические операции – умножение и сложение. Варианты построения множества рациональных чисел. Элементарное понятие о дробном числе. Введение правил сравнения.
методичка, добавлен 17.09.2014Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.
презентация, добавлен 06.09.2017Примеры решения задач по высшей математике: поиск произведения матриц, построение графика отношений, поиск области определения и множество значений. Составление таблицы истинности логической формулы. Определение вероятности выпадения определенной карты.
контрольная работа, добавлен 18.05.2014Способы задания и операции над множествами. Основные тождества алгебры и проекция вектора. Свойства сложения и умножения (коммутативность, ассоциативность и дистрибутивность). Операции над соответствиями. Диагональные элементы матрицы и линейные операции.
контрольная работа, добавлен 13.05.2014Особенность определения годографа вектора-функции. Характеристика нахождения выражения дифференциала дуги. Вычисление кривизны линии, заданной параметрически и уравнением в полярных координатах. Изучение эвольвентного зацепления математиком Л. Эилером.
лекция, добавлен 28.01.2016Понятия "тарабарская грамота" или "хитрая литория": особенность неизменный гласных букв, и методика замены согласных одна другой по схеме. Трудно разгадываемый и характеристика обозначения букв различными знаками как обязательные условия шифрования.
презентация, добавлен 21.11.2014Основная характеристика осевой симметрии и тождественного преобразования. Отображение плоскости на себя, которое сохраняет расстояние между точками, как существенное свойство симметрической оси. Особенность нахождения дистанции между двумя пунктами.
презентация, добавлен 25.04.2016Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Понятие и сущность изоморфизма графов, их машинное представление. Характеристика и специфика матрицы смежности и инцинденций, специфика массива ребер. Пошаговая проверка на изоморфизм двух графов вручную. Реализация программы на языке программирования.
курсовая работа, добавлен 30.03.2015Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Понятие противоположного события в теории вероятностей. Сумма двух событий А и В равняется событию С, которое состоит из наступления события А или В, или событий А и В вместе. Произведение двух событий А и В, состоящее в одновременном их наступлении.
презентация, добавлен 01.11.2013Нахождение выражения, используемого для определения взаимной информации двух однородных гауссовских полей. Анализ множества, описываемого корреляционными матрицами, и решаемого задачи измерения полей при обработке. Обзор взаимной корреляции векторов.
статья, добавлен 02.09.2013Обзор логико-алгебраического метода моделирования логических связей между вопросами теста, позволяющего получить интегральный показатель, оценивающий знания испытуемого. Построение логических уравнений, которые описывают связи между тестовыми вопросами.
статья, добавлен 14.07.2016Рассмотрение основных понятий теории множеств. Сущность элементарных тождеств, их функции и признаки. Главные свойства операций над отношениями: эквивалентности, толерантности, частичности порядка. Характеристика теории графов: эйлеровы, гамильтоновы.
учебное пособие, добавлен 28.12.2013Методы построения и чтения чертежей объектов. Начертательная геометрия в науке и технике. Условные обозначения геометрических объектов и символы математической логики. Инженерный способ построения комплексного чертежа. Метрические свойства проекций.
учебное пособие, добавлен 20.01.2015