Дискретная математика
Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
Подобные документы
Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Характеристика понятия и сущности, способов задания, основных операций, свойств характеристических функций множеств. Изучение декартового произведения множеств, сравнение их мощности, описание формул включений и исключений. Метод математической индукции.
лекция, добавлен 28.04.2015Понятия бинарного отношения как подмножества декартова произведения. Элементы теории множеств и комбинаторики, три основных метода пересчета, превращение конечного множества в упорядоченное с помощью переписи всех элементов множества в некоторый список.
реферат, добавлен 31.01.2014- 29. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 История возникновения теории графов. Основные понятия: ориентированный граф, петля, кратные ребра, гипердуги, подграфы. Способы представления графов в компьютере. Матрица смежности, инцидентность вершин и ребер, массивы дуг. Обзор задач теории графов.
курсовая работа, добавлен 14.06.2011Понятие множества как фундаментального неопределяемого понятия математики. Сущность пустого и универсального множеств. Способы их задания. Свойства операций над множествами, их сравнение. Диаграммы Эйлера как представление отношений между подмножествами.
презентация, добавлен 19.09.2017- 32. Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010 Язык бинарных и n-арных отношений. Декартово произведение множеств. Формы представления бинарных отношений. Использование ориентированных графов. Булевое произведение матриц. Подобия на множестве фигур плоскости. Изучение классов эквивалентности.
лекция, добавлен 19.06.2014Основные понятия и определения теории графов. Представление графов с помощью матриц. Задача о максимальном потоке. Алгоритм решения задачи о максимальном потоке. Графы со многими источниками и стоками. Автоматизация поиска максимальных потоков в сетях.
дипломная работа, добавлен 27.02.2020Определение значения и порядок построения матриц смежности вершин с помощью матриц смежности вершин исходных графов. Расчет максимального потока и разреза с минимальной пропускной способностью в транспортной сети. Доказательство равномощности множеств.
контрольная работа, добавлен 27.03.2012Основы теории конечных и бесконечных множеств. Основные классы равномощных множеств. Выведение понятия мощности множества на основе равномощности. Сравнение множеств, их объединение, пересечение, разность и дополнение. Сущность аксиоматической теории.
контрольная работа, добавлен 25.06.2012Раздел математики, посвященный решению задач выбора и расположения элементов некоторого множества в соответствии с заданными условиями. Рекуррентные соотношения и производящие функции. Теорема о максимальном потоке и минимальном разрезе. Теория графов.
учебное пособие, добавлен 13.01.2014- 38. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Понятие, элементы и виды множества. Круги Эйлера. Разбиение на части. Декартово произведение множеств. Число элементов в объединении и разности конечных множеств. Способы решения текстовой задачи. Аксиоматическое построение системы натуральных чисел.
курс лекций, добавлен 26.11.2016Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013Основные определения графа, способы его задания. Представление сетей радиосвязи графами. Алгоритм выделения компонент сильной связности. Кратчайшие остовы и пути в нагруженном графе. Алгоритмы построения паросочетаний графов. Особенности раскраски графа.
учебное пособие, добавлен 15.10.2016Нахождение функций принадлежности и представление в виде поэлементных суммы множества. Изображение графически их функций принадлежности. Нахождение аналитического выражения для функции принадлежности объединения множеств; геометрическое представление.
методичка, добавлен 19.03.2024Основные понятия теории множеств и теории графов. Графические диаграммы Венна. Матрица инцидентности ориентированного и неориентированного графа. Анализ матрицы смежности графа. Особенности частей, сурграфов и подграфов, маршрутов, цепей и циклов.
методичка, добавлен 15.10.2016- 45. Теория графов
Сущность теории графов – как области дискретной математики, особенностью которой является геометрический подход к изучению объектов. Основные термины и теоремы теории графов, способы и методы их задания: геометрический, матрица смежности и инцидентности.
контрольная работа, добавлен 03.04.2013 Доказывание тождеств в теории множеств. Рассмотрение основных положений комбинаторики. Определение Эйлеровой цепи в неориентированном графе. Решение задач по алгебре логики. Изучение возможностей решения системы уравнений с использованием метода Гаусса.
контрольная работа, добавлен 20.01.2022- 47. Теория графов
История возникновения, сущность, основные понятия, виды, способы задания и характеристики вершин теории графов. Доказательство теоремы Эйлера об эйлеровых графах (критерия эйлеровости графа). Алгоритм решения задач изоморфизма. Понятие дерева и леса.
лекция, добавлен 11.02.2010 Понятия графа в математической теории как совокупности непустого множества вершин и множества пар вершин. Направленность графов, ограничения на количество связей и дополнительные данные о вершинах или ребрах. Способы задания графов, матрица смежности.
контрольная работа, добавлен 29.08.2010- 49. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 - 50. Множества
Понятие и структура множеств как совокупности объектов, объединенных некоторым признаком, свойством. Их основные элементы и направления математического исследования, способы задания. Изображение множеств и существующие операции, проводимые над ними.
методичка, добавлен 15.11.2013