Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
Подобные документы
Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
учебное пособие, добавлен 12.11.2017Рассмотрение теоретических основ алгебры. Теорема о разложении правильной рациональной дроби на сумму простейших дробей. Интегрирование целых рациональных функций. Различные способы нахождения и математического анализа неопределенного интеграла.
лекция, добавлен 17.01.2014Линейная и векторная алгебра, уравнения прямой на плоскости. Кривые второго порядка, дифференциальная геометрия и предел функции в точке. Виды интегралов и дифференциальные уравнения в частных производных. Дискретная математика и теория вероятностей.
учебное пособие, добавлен 11.02.2015Сущность векторной алгебры. Изучение математических операций с векторами (сложение, умножение). Понятие векторного пространства и линейной зависимости векторов, необходимость коллинеарности и компланарности. Скалярное произведение векторов и координаты.
конспект урока, добавлен 16.01.2010Исторические аспекты становления комбинаторики и основные утверждения, касающиеся конечных множеств. Решение задач с помощью правил суммы и произведения, а также методом пересекающихся множеств, кругов Эйлера, размещением или перестановкой без повторений.
реферат, добавлен 15.11.2010- 81. Теорія множин
Основні поняття теорії множин. Відношення та їх властивості. Відображення та функції. Булеві функції та алгебра логіки. Двоїстість булевих функцій. Функціональна повнота наборів булевих функцій. Алгебра Жегалкіна, методи мінімізації булевих функцій.
реферат, добавлен 22.08.2011 Перечень возможных математических действий с разными по свойствам матрицами. Пути решения систем линейных уравнений. Очерк основных понятий в векторной алгебре. Параметры и виды кривых на поверхности второго порядка. Свойства эквивалентных функций.
курс лекций, добавлен 23.07.2015Методика введения определений тригонометрических функций углов и изучения тригонометрических функций в курсе алгебры. Тождественные преобразования тригонометрических выражений. Тригонометрические уравнения и неравенства и методика обучения решению.
реферат, добавлен 06.03.2022- 84. Матрицы и графы
Особенности перевода чисел в десятичную систему счисления. Поиск количества элементов в дополнении к объединению трех множеств. Определение расстояния между вершинами, радиусами и центрами графа. Таблица истинности для формулы логики высказываний.
контрольная работа, добавлен 24.05.2016 - 85. Алгебра октав
Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012 Определение основных видов функций, изучение их свойств. Использование аналитического и графического методов задания функций при нахождении ограничений снизу и сверху на множестве; точек максимума и минимума; вычислении наименьшего и наибольшего значений.
реферат, добавлен 05.10.2009Исследование жизни, научной и педагогической деятельности Сергея Николаевича Черникова. Алгебра и теория линейных неравенств, линейная оптимизация и приложения. Издание книги, посвященной юбилею С.Н. Черникова. Свертывание систем линейных неравенств.
статья, добавлен 26.04.2019Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
контрольная работа, добавлен 22.02.2010Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Понятие и виды матриц, операции с ними. Способы вычисления определителей второго, третьего и высших порядков. Матричный способ задания системы линейных уравнений. Свойство параллельности и перпендикулярности прямых. Уравнения плоскости в пространстве.
лекция, добавлен 18.03.2015Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.
учебное пособие, добавлен 12.05.2014Основные комбинаторные формулы. Решение задач комбинаторики средствами MS Excel. Использование встроенных функций MS Excel для вычисления перестановок, сочетаний, размещений. Основные понятия и правила комбинаторики. Свойства биномиальных коэффициентов.
методичка, добавлен 17.02.2014- 94. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Рассмотрение особенностей проведения линейных операций над различными векторами с одинаковыми координатами. Ознакомление с условиями коллинеарности в координатной форме. Проекция вектора на ось в алгебре. Вычисления прямоугольной системы координат.
презентация, добавлен 01.09.2015- 96. Теория функций
Определение и свойства функций действительного переменного, условия непрерывности, дифференцируемости и интегрируемости. Понятие меры функций и множества. Особенности функций комплексного переменного, понятие аналитичности. Интегральная теорема Коши.
лекция, добавлен 21.04.2010 Области применения равносильных преобразований алгоритмов. Схемы представления алгоритмов и алгебра событий. Соответствие событий переходам в инверсном графе. Способы регулярного выражения алгоритма. Определение последующих степеней символьных матриц.
статья, добавлен 08.12.2018Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Управление интеллектуальным мобильным роботом в неструктурированной среде. Математический аппарат нечетких множеств: типовые формы кривых для задания функций принадлежности, примеры: треугольная, трапецеидальная и гауссова функции принадлежности.
контрольная работа, добавлен 28.05.2013- 100. Алгебра матриц
Типы алгебраических структур. Скалярное умножение арифметических векторов. Теория делимости квадратных матриц. Разложение матрицы в произведение простейших. Умножение матрицы на число. Элементарные преобразования над матрицами и элементарные матрицы.
методичка, добавлен 19.09.2015