Дискретная математика
Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
Подобные документы
Формулировка и решение задачи об оптимальном размещении компонентов на печатной плате или отдельных элементов в корпусе устройства. Основные понятия теории графов. Использование алгоритма Форда-Бэллмана для решения задачи. Построение матрицы смежности.
курсовая работа, добавлен 20.01.2016- 27. Теория графов
Определение понятия и сущности графов. Изучение проблемы построения неографа с заданным списком вершин и предписанными теоретическими свойствами. Описание реализации алгоритмов построения связных графов и деревьев в пакете символьной математики Maple.
контрольная работа, добавлен 18.12.2015 - 28. Графы
Изучение истории возникновения теории графов, основные понятия и виды графов. Теория графов в транспортных, коммуникационных и геоинформационных системах. Применение теории графов в медицине, биологии, физике, химии, астрономии, истории, искусстве.
научная работа, добавлен 03.05.2019 Изучение основных матриц графов и их теорем. Описание порядка построения матрицы по графическому рисунку графа и графов по заданной матрице. Характеристика метрических характеристик графов, связанных с матрицами. Нахождение путей графов по матрице.
курсовая работа, добавлен 13.09.2012История появления теории графов, ее основные понятия, сфера практического приложения. Наиболее эффективные алгоритмы нахождения кратчайшего пути. Методика определения кратчайших путей при помощи графа. Алгоритм Дейкстры. Решение задач практической части.
курсовая работа, добавлен 14.01.2011Определения и теоремы теории графов, подграфы. Операции над графами и степени их вершин. Цепи, циклы и компоненты. Применение теории графов в школьном курсе математики, в задачах управления дорожным движением, химии, биологии, физике. Графы и информация.
курсовая работа, добавлен 22.06.2014- 32. Теория графов
История возникновения, сущность, основные понятия, виды, способы задания и характеристики вершин теории графов. Доказательство теоремы Эйлера об эйлеровых графах (критерия эйлеровости графа). Алгоритм решения задач изоморфизма. Понятие дерева и леса.
лекция, добавлен 11.02.2010 Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Основные понятия теории множеств. Законы, которым подчиняются операции объединения, перечисления и дополнения множеств. Определение бинарных отношений, свойства операций над отношениями. Элементы теории подстановок. Основные понятия теории графов.
учебное пособие, добавлен 15.10.2016Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.
презентация, добавлен 06.09.2017Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013Изучение функций, заданных на множестве графов и принимающих значения из некоторого множества чисел. Определение числа компонент связности графа. Правила раскраски графа и карт. Проблема четырех красок. Нахождение множеств внутренней устойчивости.
реферат, добавлен 13.11.2015Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.
реферат, добавлен 30.11.2014Определение графов и их элементы. Связанные графы, оценка числа их ребер через число вершин и компонент связности. Обходы графов, оценка числа помеченных эйлеровых графов. Изучение планарных и двудольных графов. Основные свойства деревьев, их кодирование.
учебное пособие, добавлен 15.10.2016- 40. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Вычисление расстояний и нахождение путей. Алгоритм нахождения кратчайшего пути по расстояниям между вершинами. Задачи вычисления длин кратчайших путей, расстояний от фиксированной вершины. Алгоритмы Дейкстры. Корректность Алгоритма Форда-Беллмана.
лекция, добавлен 19.08.2013Составные части графа. Использование теории графов при решении задач в экономике. Алгоритмы, предназначенные для выполнения задачи оптимизации. Понятие "жадный алгоритм", его свойства. Применение формул метода Дейкстры для решения экономических задач.
статья, добавлен 20.04.2019- 44. Теория множеств
Элементы теории множеств, операции над ними. Инъективные и сюръективные отображения. Отношение эквивалентности. Элементы теории кодирования, графов. Представление графов в памяти компьютера. Пример нахождения кода Харари графа. Задачи о раскраске.
методичка, добавлен 29.09.2017 Исследование помеченных связных графов с заданным числом вершин и точек сочленения. Выведение формулы для энумератора разреженных гомеоморфно несводимых графов с заданным цикломатическим числом. Определение их асимптотики и интегральных представлений.
автореферат, добавлен 02.03.2018Интегральные представления и асимптотика числа помеченных связных разреженных графов. Некоторые необходимые условия хроматичности многочлена. Метод сжатия-разжатия для перечисления графов. Упрощение некоторых формул для числа карт на поверхностях.
автореферат, добавлен 17.12.2017Изучение понятия элементарных функций в математике, их виды. Характеристика правил определения элементарных функций по Лиувиллю. Дифференцирование и нахождение производных по таблице. Дифференцируемая в точке функция, матрица Якоби и теорема Лебега.
реферат, добавлен 26.02.2015Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Основные понятия и определения теории графов. Представление графов с помощью матриц. Задача о максимальном потоке. Алгоритм решения задачи о максимальном потоке. Графы со многими источниками и стоками. Автоматизация поиска максимальных потоков в сетях.
дипломная работа, добавлен 27.02.2020Теория графов как один из разделов дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Методика решения задач календарно-сетевого планирования и управления. Сущность алгоритма Форда-Фалкерсона.
лабораторная работа, добавлен 28.05.2015