Решение некоторых задач булевой алгебры, теории графов и теории кодирования
Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
Подобные документы
Основные понятия и определения теории графов. Представление графов с помощью матриц. Задача о максимальном потоке. Алгоритм решения задачи о максимальном потоке. Графы со многими источниками и стоками. Автоматизация поиска максимальных потоков в сетях.
дипломная работа, добавлен 27.02.2020Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Основные методы теории графов. Задача раскраски графа в информатике. Составление расписаний и других задач на распределение ресурсов. Алгоритм неявного перебора. Составление графиков осмотра. Задача составления расписания. Способы раскраски вершин.
курсовая работа, добавлен 26.11.2014Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017- 81. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013- 83. Теория графов
Основные понятия теории графов. Представления о планарном графе. Теорема Куратовского и другие характеризации планарности. Эйлеровы и гамильтоновы графы. Расчет количества израсходованного топлива за неделю каждым водителем по справочным данным задачи.
курсовая работа, добавлен 30.11.2013 Изучение и нахождение ограниченного поперечного сечения, определяющего пропускную способность системы в целом. Нахождение алгоритма величины максимального потока в транспортной сети с помощью теоремы Форда-Фалкерсона. Обзор определенной на множестве.
реферат, добавлен 07.08.2013Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Решение задач по теме теории вероятности с предоставлением необходимых формул. Результаты наблюдений над случайной величиной и примеры решения задачи на графике. Нахождение середины интервалов и вероятности с использованием таблицы и построением графика.
контрольная работа, добавлен 24.05.2016Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.
курс лекций, добавлен 01.04.2016Элементы теории графов. Общая схема метода динамического программирования. Построение сетевого графика технологического комплекса. Критические пути и нахождение времени завершения комплекса работ. Задача о построении минимального остовного дерева.
учебное пособие, добавлен 01.04.2014Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022Изучение понятия и разновидностей графов. Явление изоморфизма и гомеоморфизма. Пути и циклы. Дерево или произвольно-связный граф без циклов. Цикломатическое число и фундаментальные циклы. Независимые множества и покрытия. Алгоритм Дейкстры, Краскала.
шпаргалка, добавлен 08.09.2013Определение значения и порядок построения матриц смежности вершин с помощью матриц смежности вершин исходных графов. Расчет максимального потока и разреза с минимальной пропускной способностью в транспортной сети. Доказательство равномощности множеств.
контрольная работа, добавлен 27.03.2012Детерминированные функции и способы их задания. Основные типы преобразующих автоматов. Последовательные автоматные вычисления. Построение логических цепей. Операции над словами и языками. Порождение и распознавание цепочек. Элементы теории кодирования.
учебное пособие, добавлен 20.05.2014Изучение ориентированного конечного графа. Характеристика инцидентности ребра и вершины. Основы построения матриц смежности и инцидентности. Рассмотрение примеров объединения графов. Анализ условий и компонентов связности. Изучение эйлеровых цепей.
презентация, добавлен 31.10.2013Исследование аналитических задач, возникающих перед субъектами расследования преступлений, связанных с установлением взаимосвязей между фигурантами преступления и обстоятельствами его совершения, такими как дата, время, место на основе теории графов.
статья, добавлен 08.03.2019Постановка, стандартные формы записи задачи линейного программирования, способы их решения. Основные понятия и определения теории графов, сетевая модель как графическая модель комплекса работ. Математическая формализация и алгоритмизация игровых задач.
курсовая работа, добавлен 11.06.2013Изучение формулы бесконечно убывающей геометрической последовательности. Способы задания функции одной переменной. Геометрический смысл понятия "предел". Нахождение точки экстремума, промежутков возрастания и убывания функций, выпуклости вверх и вниз.
лекция, добавлен 26.01.2014Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019Основные понятия и определение графа. Степень вершины графа. Особенности и свойства подграфа, пути, цепи и цикла. Характеристика связных графов. Анализ теоремы об оценке числа рёбер несвязного графа. Сущность понятий "дерево графа" и "лес графа".
методичка, добавлен 15.10.2016Развитие теории графов, их применение в различных отраслях научного знания. Понятие, определение и изображение графа, системы связей между объектами. Описание структуры графов. Разработка программы для определения сильных компонент графа, баз и антибаз.
курсовая работа, добавлен 24.04.2011Нахождение члена последовательности рекуррентного соотношения. Вычисление корней уравнения. Определение данных выборки. Построение полного потока в транспортной сети. Создание таблицы истинности логического выражения. Упрощение с помощью карты Карно.
контрольная работа, добавлен 14.06.2015