Дискретная математика
Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
Подобные документы
Знакомство с понятием "граф" и его основными элементами. Составление графов по словесному описанию отношений между предметами и существами. Решение задач при помощи графов. Применение теории графов в анализе художественного текста и стилистике переводов.
презентация, добавлен 15.10.2016Определение графов, их свойства и типы. Использование диаграмм для представления графов. Элементарные свойства остовных деревьев в связных графах. Топологическая теория графов. Введение в теорию матроидов, доказательство теорем о связности и укладках.
учебное пособие, добавлен 15.10.2016Графы и их использование для описания сложно структурированной информации. Задача нахождения минимального остовного дерева взвешенного неориентированного графа как одна из самых известных алгоритмических проблем комбинаторной оптимизации в математике.
дипломная работа, добавлен 04.12.2019Понятие и сущность изоморфизма графов, их машинное представление. Характеристика и специфика матрицы смежности и инцинденций, специфика массива ребер. Пошаговая проверка на изоморфизм двух графов вручную. Реализация программы на языке программирования.
курсовая работа, добавлен 30.03.2015Понятия графа в математической теории как совокупности непустого множества вершин и множества пар вершин. Направленность графов, ограничения на количество связей и дополнительные данные о вершинах или ребрах. Способы задания графов, матрица смежности.
контрольная работа, добавлен 29.08.2010Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Мультиграф, в котором не допускаются петли, но пары вершин могут соединяться более чем одним ребром. Теоретико-множественное представление графов. Вид двоичного дерева поиска, в котором ключами являются латинские символы, упорядоченные по алфавиту.
курсовая работа, добавлен 15.01.2014Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.
курсовая работа, добавлен 22.06.2011Изучение и создание алгоритма решения задачи о выделении минимального остовного дерева. Понятие теории графов. Характеристика алгоритма Прима, Краскала, Борувки. Определение каркаса, алгоритм выделения минимального остовного дерева нагруженного графа.
курсовая работа, добавлен 03.11.2015Дискретная (или прерывная) математика как наука. Анализ сущности и особенностей понятий функция, функционал и оператор, применяемых в дискретной математике. Примеры инъекции и композиции функций. Формы задания функций (для унарных и бинарных функций).
реферат, добавлен 23.01.2018История возникновения теории графов. Основные понятия: ориентированный граф, петля, кратные ребра, гипердуги, подграфы. Способы представления графов в компьютере. Матрица смежности, инцидентность вершин и ребер, массивы дуг. Обзор задач теории графов.
курсовая работа, добавлен 14.06.2011- 65. Теория графов
Главные концепции и содержание теории графов, ее место и значение в современной математической науке. Матрицы, ассоциированные с графами, принципы реализации различных операций с ними. Отличительные особенности и структура ациклических графов, их обходы.
контрольная работа, добавлен 08.02.2015 - 66. Теория графов
Первая работа по теории графов всемирно известного математика и механика Леонардо Эйлера. Построения электрических цепей и подсчёта химических веществ с различными типами молекулярных соединений. Становление кибернетики и развитие вычислительной техники.
реферат, добавлен 17.06.2014 Понятие о тригонометрическом выражении. Тригонометрические функции и формулы тригонометрии, используемые для преобразования тригонометрических выражений. Знаки тригонометрических функций. Примеры решения задач с использованием формул преобразования.
презентация, добавлен 23.10.2013Развитие теории графов, их применение в различных отраслях научного знания. Понятие, определение и изображение графа, системы связей между объектами. Описание структуры графов. Разработка программы для определения сильных компонент графа, баз и антибаз.
курсовая работа, добавлен 24.04.2011- 69. Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010 Алгоритм построения графов сочетаний простых делителей. Структура графов первой и второй версий. Составление таблиц факторизаций на любом отрезке натурального ряда и установление закона распределения простых чисел. Элементарные методы в теории чисел.
статья, добавлен 26.05.2017Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Основные понятия и определение графа. Степень вершины графа. Особенности и свойства подграфа, пути, цепи и цикла. Характеристика связных графов. Анализ теоремы об оценке числа рёбер несвязного графа. Сущность понятий "дерево графа" и "лес графа".
методичка, добавлен 15.10.2016Классификация моделей релаксации клики. Алгоритмы нахождения плотных подграфов. Применение теории графов для описания фондового рынка. Реализация алгоритмов и их сравнение. Модифицированный Degree Decomposition Algorithm. GRASP алгоритм поиска квази-клик.
дипломная работа, добавлен 02.09.2018Теория графов как область дискретной математики с геометрическим подходом к изучению объектов. Решение математических развлекательных задач и головоломок. Эйлеров путь графа. Краткие пути решения. Задача коммивояжера - одна из задач теории комбинаторики.
реферат, добавлен 13.01.2012