Решение некоторых задач булевой алгебры, теории графов и теории кодирования
Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
Подобные документы
Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.
реферат, добавлен 30.11.2014- 102. Хроматические числа
Постановка и решение задачи в одномерном случае. Определение хроматического числа прямой и плоскости. Критическая конфигурация точек на плоскости. Построение раскрасок плоскости. Доказательство теорем Райского и Лармана-Роджерса. Изучение теории графов.
книга, добавлен 25.11.2013 - 103. Дискретная алгебра
Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013 - 104. Тестовое задание
Обоснование критериев тестового задания. Различные статистические показатели текста задания. Понятия "трудность задания", "дифференцирующая сила", "гомогенность теста", "вариация тестового балла". Вариация тестовых баллов. Расчет коэффициента корреляции.
лекция, добавлен 27.07.2015 Алгоритм построения графов сочетаний простых делителей. Структура графов первой и второй версий. Составление таблиц факторизаций на любом отрезке натурального ряда и установление закона распределения простых чисел. Элементарные методы в теории чисел.
статья, добавлен 26.05.2017Рассмотрение способа решения задачи Гамильтона с полиномиальными затратами седьмой степени путем определения всех негамильтоновых звеньев маршрутов и их удаления из описания всех маршрутов графа. Обоснование истинности алгоритма и его полиномиальности.
статья, добавлен 27.02.2019- 107. Теория графов
Определение понятия и сущности графов. Изучение проблемы построения неографа с заданным списком вершин и предписанными теоретическими свойствами. Описание реализации алгоритмов построения связных графов и деревьев в пакете символьной математики Maple.
контрольная работа, добавлен 18.12.2015 - 108. Шарики в коробочках
Логические задачи и методы их решения. Разработка алгоритма, позволяющего за минимальное количество вопросов определить, в какой коробочке лежит шарик определенного цвета. Теория графов в математике. Решение системы линейных алгебраических уравнений.
презентация, добавлен 22.01.2014 В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.
статья, добавлен 07.03.2019- 110. Основы теории графов
Матрица смежности графа с множеством вершин. Построение ориентированного графа (орграфа) по заданной матрице смежности. Решение задачи линейного программирования с двумя переменными. Условие неотрицательности переменной. Прямая целевой функции на минимум.
контрольная работа, добавлен 17.01.2018 Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
курсовая работа, добавлен 05.12.2019Построение математических моделей оптимизации формы внешних и внутренних границ термоупругих тел. Зависимость температурных и механических полей от их формы. Разработка алгоритма и комплекса программ для оптимизации формы в задачах теплопроводности.
автореферат, добавлен 02.03.2018- 113. Основы математики
Решение задачи по теории вероятностей. Использование правил дифференцирования и формул для производных степенной и тригонометрической функций, нахождение производных. Отображение данных множеств при помощи кругов Эйлера. Область определения функции.
контрольная работа, добавлен 30.06.2021 Понятие и сущность изоморфизма графов, их машинное представление. Характеристика и специфика матрицы смежности и инцинденций, специфика массива ребер. Пошаговая проверка на изоморфизм двух графов вручную. Реализация программы на языке программирования.
курсовая работа, добавлен 30.03.2015Рассмотрение различных способов решения тригонометрических уравнений. Ознакомление с понятием и историей возниконовения тригонометрии. Составление алгоритма решения задания. Описание воспитания самостоятельности и творческого отношения к деятельности.
презентация, добавлен 19.11.2013Исследование помеченных связных графов с заданным числом вершин и точек сочленения. Выведение формулы для энумератора разреженных гомеоморфно несводимых графов с заданным цикломатическим числом. Определение их асимптотики и интегральных представлений.
автореферат, добавлен 02.03.2018- 117. Методы решения задач
Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012 Проектирование информационных систем на основе графовых моделей. Анализ связей между элементами и множествами модели ИС в аспекте применения инвариантов теории графов. Использование соответствия Галуа при анализе системных связей информационных моделей.
статья, добавлен 24.07.2018Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Исследование движений автоколебаний системы с одной степенью свободы под действием внешней периодической силы, решение в случае достаточно сильной расстройки в области резонанса. Применение общих формул к теории захватывания в регенеративном приемнике.
реферат, добавлен 08.06.2010Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014Особенность функциональной зависимости одной величины от другой. Характеристика аналитического, табличного и графического способов задания функций. Главный анализ многозначных, обратных и сложных переменных величин. Основная сущность построения графиков.
лекция, добавлен 12.07.2015- 123. Булевы функции
Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.
курсовая работа, добавлен 05.12.2012 - 124. Теории множеств
Исследование теории графов в 30-е годы ХХ в. Двудольные графы и возможность их применения для наглядного представления паросочетаний. Изучение условия Холла. Трансверсали семейств множеств. Определение степени вершины. Паросочетания специального вида.
лекция, добавлен 29.09.2013 Основные понятия теории вероятностей, пространство случайных и элементарных событий. Операции над событиями (сумма, разность, произведение) и свойства операций. Сущность алгебры и сигма-алгебры событий, аксиоматическое построение теории вероятностей.
реферат, добавлен 25.02.2011