Решение некоторых задач булевой алгебры, теории графов и теории кодирования
Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
Подобные документы
- 51. Теория графов
Главные концепции и содержание теории графов, ее место и значение в современной математической науке. Матрицы, ассоциированные с графами, принципы реализации различных операций с ними. Отличительные особенности и структура ациклических графов, их обходы.
контрольная работа, добавлен 08.02.2015 - 52. Теория графов
Первая работа по теории графов всемирно известного математика и механика Леонардо Эйлера. Построения электрических цепей и подсчёта химических веществ с различными типами молекулярных соединений. Становление кибернетики и развитие вычислительной техники.
реферат, добавлен 17.06.2014 Основные понятия теории графов. Свойства маршрутов, цепей, циклов. Понятие гамильтонова графа. Доказательство теоремы Дирака. Постановка задачи о коммивояжере и описание известных способов ее решения. Практические приложения задачи. Метод ветвей и границ.
курсовая работа, добавлен 06.07.2014Рассмотрение основных понятий теории множеств. Сущность элементарных тождеств, их функции и признаки. Главные свойства операций над отношениями: эквивалентности, толерантности, частичности порядка. Характеристика теории графов: эйлеровы, гамильтоновы.
учебное пособие, добавлен 28.12.2013Основные понятия теории множеств. Законы, которым подчиняются операции объединения, перечисления и дополнения множеств. Определение бинарных отношений, свойства операций над отношениями. Элементы теории подстановок. Основные понятия теории графов.
учебное пособие, добавлен 15.10.2016Введение понятия бинарного события. Рассмотрение событий, задаваемых булевыми функциями. Доказывание теоремы о вероятности события. Получение расчетных формул для условных вероятностей и формул Байеса, построение задач на применение полученных формул.
статья, добавлен 12.08.2020Элементы теории графов и комбинаторики. Использование в доказательстве теоремы Кэли. Разбиение и композиции натуральных чисел. Изучение работ венгерского математика Кенинга в 30-е годы XX столетия по математической дисциплине теории графов и элементов.
курсовая работа, добавлен 23.12.2020Изучение и создание алгоритма решения задачи о выделении минимального остовного дерева. Понятие теории графов. Характеристика алгоритма Прима, Краскала, Борувки. Определение каркаса, алгоритм выделения минимального остовного дерева нагруженного графа.
курсовая работа, добавлен 03.11.2015Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018Теория и история возникновения графов. Задача о Кенигсбергских мостах и ее решение "одним росчерком" графа. Понятие эйлерова графа, его свойства. Значение и примеры применения графов для решения математических задач, головоломок, задач на смекалку.
презентация, добавлен 18.03.2016Использование алгебраического метода решения задач на построение в теории конструктивных задач. Определение взаимосвязи алгебры и геометрии. Обзор примеров задач на построение и схем их решения. Построение отрезков, заданных основными формулами.
курсовая работа, добавлен 25.01.2017Использование теории графов для представления отношений между элементами сложных структур различной природы. Определение связности темпорального графа. Применение метода Мальгранжа для нахождения максимальных компонент сильной связности четких графов.
статья, добавлен 19.01.2018Построение комбинаторной теории Лейбницем. Использование ее при решении задач алгебры, геометрии. Интеграция комбинаторики в современную математику. Правила суммы и умножения. Описание урновой схемы как одной из простейших моделей теории вероятностей.
контрольная работа, добавлен 17.06.2014Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Характеристика формальных описаний элементов и систем, которые опираются на язык теории множеств и графов. Особенности элементов множества - любых объективных и субъективных понятий, объединяемых в соответствии с некоторым законом, правилом, признаком.
контрольная работа, добавлен 14.09.2010Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019История возникновения теории графов и способы их представления в информатике. Определение понятия матрицы смежности и инцидентности. Маршрут как последовательность ребер, в которых каждые два соседних ребра имеют общую вершину. Гамильтонов и Эйлеров цикл.
презентация, добавлен 28.02.2012Определения и теоремы теории графов, подграфы. Операции над графами и степени их вершин. Цепи, циклы и компоненты. Применение теории графов в школьном курсе математики, в задачах управления дорожным движением, химии, биологии, физике. Графы и информация.
курсовая работа, добавлен 22.06.2014Изучение функций, заданных на множестве графов и принимающих значения из некоторого множества чисел. Определение числа компонент связности графа. Правила раскраски графа и карт. Проблема четырех красок. Нахождение множеств внутренней устойчивости.
реферат, добавлен 13.11.2015Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Построение модели системы организации маршрутов в транспортной системе с предфрактальных графов. Сравнительный анализ вычислительной сложности предложенного алгоритма с известным алгоритмом Прима. Алгоритм Бета 2 выделения наибольших максимальных цепей.
реферат, добавлен 20.05.2017- 74. Теория графов
Диаграмма Эйлера-Венна для множества. Системы счисления с креном. Построение Эйлеровой цепи в неориентированном графе. Определение минимального остовного дерева в неориентированном нагруженном графе. Понятие булевой функции и методы ее представления.
контрольная работа, добавлен 13.03.2017 Определение графов, их свойства и типы. Использование диаграмм для представления графов. Элементарные свойства остовных деревьев в связных графах. Топологическая теория графов. Введение в теорию матроидов, доказательство теорем о связности и укладках.
учебное пособие, добавлен 15.10.2016