Дискретная математика
Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
Подобные документы
В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.
статья, добавлен 07.03.2019Методика применения метода конечных элементов к решению уравнения теплопроводности. Простая процедура учета граничных условий задачи. Сравнение затрат машинного времени и погрешности расчетов при использовании различных видов элементов и функций формы.
статья, добавлен 30.10.2016- 103. Теория графов
Основные понятия теории графов. Представления о планарном графе. Теорема Куратовского и другие характеризации планарности. Эйлеровы и гамильтоновы графы. Расчет количества израсходованного топлива за неделю каждым водителем по справочным данным задачи.
курсовая работа, добавлен 30.11.2013 Изучение теории множеств, их включения и равенства. Характеристика математической логики и предела последовательности функций. Определения первообразных и неопределенных интегральных исчислений. Анализ векторных функций. Тригонометрическая система.
курс лекций, добавлен 29.05.2013Теория множеств с самопринадлежностью, свойства структурного изоморфизма при описании бесконечных самоподобных множеств. Анализ и описание свойств структурного изоморфизма, прикладная интерпретация этих свойств на предметной области формальных языков.
статья, добавлен 26.04.2019Множества и операции над ними. Сходящиеся и монотонные числовые последовательности. Предел и непрерывность функции. Бесконечно малые и бесконечно большие функции. Раскрытие неопределенностей, замечательные пределы. Основные свойства непрерывных функций.
лекция, добавлен 29.09.2014Изучение базовых понятий и определений; ознакомление с задачами, возникающими в теории графов и методами их решения. Освоение компьютерных способов представления графов и алгоритмов машинной обработки графов. Программные продукты для анализа графов.
контрольная работа, добавлен 13.04.2012- 108. Теория множеств
Рассмотрение обозначений, принятых в теории множеств. Характеристические функции множеств, свойства операций над множествами. Применение понятия мощности множества для количественной характеристики множеств. Верхняя и нижняя грани числового множества.
курсовая работа, добавлен 07.05.2015 Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Основные понятия теории графов. Свойства маршрутов, цепей, циклов. Понятие гамильтонова графа. Доказательство теоремы Дирака. Постановка задачи о коммивояжере и описание известных способов ее решения. Практические приложения задачи. Метод ветвей и границ.
курсовая работа, добавлен 06.07.2014Особенности контроллеров нечеткой логики как важного применения теории нечетких множеств. Общая структура нечеткого микроконтроллера. Описание лингвистической переменной и функции принадлежности. Принципы работы мобильного робота с нечеткой логикой.
реферат, добавлен 17.07.2013- 114. Конечные автоматы
Переработка информации с помощью конечных автоматов. Детерминированные конечные автоматы и автоматные языки. Характеристика свойств замкнутости класса автоматных языков. Регулярные выражения как средство для построения алгебраических описаний языков.
курс лекций, добавлен 20.05.2014 Сферы применения методов математического моделирования. Широкое применение метода конечных элементов, его основные положения и преимущества. Расчет на компьютере с помощью программы Ansoft Maxwell магнитных полей в спинволновых ферритовых системах.
реферат, добавлен 15.05.2013- 116. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Изучение функций, заданных на множестве графов и принимающих значения из некоторого множества чисел. Определение числа компонент связности графа. Правила раскраски графа и карт. Проблема четырех красок. Нахождение множеств внутренней устойчивости.
реферат, добавлен 13.11.2015- 118. Операции с матрицами
Определение матрицы и арифметические операции над матрицами. Матричное представление линейных уравнений. Используемые инструменты MathCAD для вычислений с матрицами. Формирование уравнений цепи на основе теории графов. Топологические матрицы графа.
курсовая работа, добавлен 28.04.2015 Определение графов и их элементы. Связанные графы, оценка числа их ребер через число вершин и компонент связности. Обходы графов, оценка числа помеченных эйлеровых графов. Изучение планарных и двудольных графов. Основные свойства деревьев, их кодирование.
учебное пособие, добавлен 15.10.2016Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018Основные понятия теории графов. Экстремальные пути и контуры на графах. Характеристика особенностей алгоритма Форда. Основы решения задачи поиска контура минимальной длины. Аспекты применения алгоритма Форда-Фалкерсона в задаче о максимальном потоке.
статья, добавлен 13.01.2014Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.
лекция, добавлен 22.10.2013Порядок и сроки выдачи заданий на курсовое проектирование по дисциплине "Теория конечных графов и ее приложения". Содержание курсового проекта. Пример решения практической задачи на примере составления графика обслуживания одиноких пенсионеров района.
методичка, добавлен 03.10.2017Теория графов как область дискретной математики с геометрическим подходом к изучению объектов. Решение математических развлекательных задач и головоломок. Эйлеров путь графа. Краткие пути решения. Задача коммивояжера - одна из задач теории комбинаторики.
реферат, добавлен 13.01.2012Применение вариантов эвристических алгоритмов. Недетерминированный конечный автомат. Варианты минимизации недетерминированных конечных автоматов и используемые эвристики. Алгоритм кластеризации ситуаций. Инициализация списка подзадач одним элементом.
статья, добавлен 14.07.2016