Исследование графов
Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.
Подобные документы
История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.
курсовая работа, добавлен 22.12.2015Составление уравнения Эйлера, нахождение его общего решения. Нахождение с использованием уравнения Эйлера-Лагранжа оптимального управления, минимизирующего функционал для системы. Использование метода динамического программирования для решения уравнений.
контрольная работа, добавлен 01.04.2010Нахождение произведения для заданных множеств. Вычисление предела функции с использованием основных теорем. Раскрытие неопределенности с использованием правила Лопиталя. Нахождение производной и вычисление неопределенного интеграла методом подстановки.
контрольная работа, добавлен 02.02.2011- 79. Алгебра
Квадратные матрицы и определители. Координатное линейное пространство. Исследование системы линейных уравнений. Алгебра матриц: их сложение и умножение. Геометрическое изображение комплексных чисел и их тригонометрическая форма. Теорема Лапласа и базис.
учебное пособие, добавлен 02.03.2009 Основные понятия размерности упорядоченных множеств. Определение размерности упорядоченного множества. Свойства размерности конечных упорядоченных множеств. Порядковая структура и элементы алгебраической теории решёток.
дипломная работа, добавлен 08.08.2007Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.
курсовая работа, добавлен 22.09.2009- 82. Булевы функции
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа, добавлен 20.01.2011 Разложение определителя 4-го порядка. Проверка с помощью функции МОПРЕД() в программе Microsoft Excel. Нахождение обратной матрицы. Решение системы линейных уравнений методом обратной матрицы и методом Гаусса. Составление общего уравнения плоскости.
контрольная работа, добавлен 05.07.2015Типичные примеры рефлексивных бинарных отношений. Понятие множества и его элементов. Операции над множествами: объединение, пересечение и разность. Декартово произведение множеств. Отношения функциональные, эквивалентности, порядка. Отношения степени n.
контрольная работа, добавлен 08.11.2009Нечёткие системы логического вывода. Исследование основных понятий теории нечетких множеств. Операции над нечёткими множествами. Нечёткие соответствия и отношения. Описания особенностей логических операций: конъюнкции, дизъюнкции, отрицания и импликации.
презентация, добавлен 29.10.2013Основополагающие понятия теории графов. Определение эквивалентности, порождаемое группой подстановок, и доказательство леммы Бернсайда о числе ее классов. Понятие перечня конфигурации и доказательство теоремы Пойа. Решение задачи о перечислении графов.
курсовая работа, добавлен 18.01.2014Історія виникнення графів, основні поняття теорії та різновиди: повні, регулярні, платонові, двочастинні. Маршрути, ланцюги і цикли. Означення гамільтонового та напівгамільтонового графа, достатні умови. Задача побудови гамільтонових циклів у графі.
курсовая работа, добавлен 22.01.2013Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.
контрольная работа, добавлен 02.01.2011- 89. Матрицы
Общие определения, связанные с понятием матрицы. Действия над матрицами. Определители 2-го и 3-го порядков, порядка n, порядок их вычисления и характерные свойства. Обратные матрицы и их ранг. Понятие и этапы элементарного преобразования матрицы.
лекция, добавлен 14.12.2010 Граф как множество вершин (узлов), соединённых рёбрами, способы и сфера их применения. Специфика теории графов как раздела дискретной математики. Основные способы преобразования графов, их особенности и использование для решения математических задач.
курсовая работа, добавлен 18.01.2013- 91. Эйлеровы графы
Основные понятия теории графов. Маршруты и связность. Задача о кёнигсбергских мостах. Эйлеровы графы. Оценка числа эйлеровых графов. Алгоритм построения эйлеровой цепи в данном эйлеровом графе. Практическое применение теории графов в науке.
курсовая работа, добавлен 23.12.2007 Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Роль Леонарда Эйлера в математическом образовании в академической образовательной системе. Основная цель и принципы обучения в гимназии. Руководство к арифметике для употребления в гимназии при Императорской академии наук. Начальные основания алгебры.
презентация, добавлен 20.09.2015Количественная оценка надежности. Возможности использования предельных теорем. Распространенные потоки случайных событий, их характеристики. Расчет надежности, основанный на составлении графа переходов изделия в разные состояния работоспособности.
курсовая работа, добавлен 12.06.2011Анализ логических ошибок с помощью E-структур. Коллизиями E-структуры: коллизии парадокса и цикла. Основные методы анализа рассуждений. Построение графа рассуждения и применение к посылкам правила контрапозиции. Корректные и некорректные E-структуры.
контрольная работа, добавлен 04.09.2010Понятие матрицы, прямоугольная матрица размера m x n - совокупность mn чисел, расположенных в виде прямоугольной таблицы, содержащей m строк и n столбцов. Численная характеристика квадратной матрицы - ее определитель. Действия над матрицами, ранг матрицы.
реферат, добавлен 01.08.2009- 97. Алгебра логики
Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат, добавлен 06.12.2010 Пьер де Ферма сделал почти 370 лет назад свою запись на полях арифметики Диофанта. Натуральные взаимно простые числа, не имеющие общих целых множителей, кроме 1. Пример справедливости приведенного доказательства.
статья, добавлен 19.12.2006Нахождение определителя матрицы. Правило вычисления определителя 3-го порядка. Тождественные преобразования в виде цепочки действий. Симметрическая разность множеств. Область определения функции. Доказание равносильности формулы путем преобразований.
контрольная работа, добавлен 13.03.2011Однородный Марковский процесс. Построение графа состояний системы. Вероятность выхода из строя и восстановления элемента. Система дифференциальных уравнений Колмогорова. Обратное преобразование Лапласа. Определение среднего времени жизни системы.
контрольная работа, добавлен 08.09.2010