Дискретная математика и математическая логика
Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
Подобные документы
- 26. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Отношения бинарные и N-арные. Декартово произведение. Бинарные отношения. Операции над бинарными отношениями. Функциональные отношения. Бинарные отношения на множестве. Матрица, представляющая функциональное отношение. Отношение эквивалентности.
реферат, добавлен 21.08.2008- 30. Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
реферат, добавлен 20.10.2015 Основы теории множеств, переключательных функций, комбинаторного анализа и теории графов. Диаграммы Эйлера, операции над множествами. Бинарные отношения и отображения. Свойства элементарных булевых функций. Основные понятия и определения комбинаторики.
учебное пособие, добавлен 11.10.2014Изучение понятия и видов матрицы, рассмотрение алгоритма решения систем линейных уравнений в матричной форме. Исследование свойств пределов функций и примеров их нахождения. Характеристика основных задач, инструментов и методов аналитической геометрии.
реферат, добавлен 02.06.2014Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022Проведение исследования области определения и области значений элементарной функции. Особенность нахождения ограниченной и неограниченной функции. Основные свойства степенной, квадратичной и логарифмической функции. Характеристика квадратного корня.
реферат, добавлен 26.12.2021Нахождение пути минимального веса между вершинами в нагруженном графе с помощью алгоритма Дейкстры. Максимальный поток в транспортной сети с использованием алгоритма Форда-Фалкерсона. Проверка по теореме Форда-Фалкерсона. Пропускные способности дуг.
курсовая работа, добавлен 03.10.2017Построение модели транспортной сети в виде графа, с множеством вершин, соответствующих узлам сети, и множеством ребер – участкам дорог. Оптимальный алгоритм выделения наибольших максимальных цепей по заданному критерию и оценка по остальным критериям.
статья, добавлен 26.05.2017Системы счисления, понятие множества. Операции над множествами. Графическое изображение множеств, диаграммы Эйлера-Венна. Таблицы истинности высказываний. Расчет бинарного отношения между множествами А и В. Частота появления значения случайной величины.
шпаргалка, добавлен 30.08.2017Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Вычисление пределов функций без использования правила Лопиталя. Нахождение производных функций с использованием формул и правил дифференцирования. Нахождение наибольшего и наименьшего значения функции на отрезке. Нахождение интервалов монотонности.
контрольная работа, добавлен 06.01.2015Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Общая характеристика логических переключательных функций, построение их в таблицу истинности, описание и примеры создания стандартных видов функций, изучение основных принципов их минимизации и построения схем в различных базисах логических элементов.
реферат, добавлен 24.01.2014Дискретная (или прерывная) математика как наука. Анализ сущности и особенностей понятий функция, функционал и оператор, применяемых в дискретной математике. Примеры инъекции и композиции функций. Формы задания функций (для унарных и бинарных функций).
реферат, добавлен 23.01.2018- 43. Алгоритмы путей
Нахождение по заданной матрице весов графа величины минимального пути по алгоритму Дейкстры, величины максимального пути. Нахождение минимального пути по алгоритму Беллмана-Мура между вершинами. Определение максимального потока по заданной матрице.
контрольная работа, добавлен 06.04.2020 Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Нахождение производной функции, заданной явно, неявно или параметрически. Порядок исследования функции и построение ее графика. Методика вычисления интегралов. Частное решение дифференциального уравнения 1-го порядка. Изменение порядка интегрирования.
контрольная работа, добавлен 18.03.2012Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Теория вероятности, её характеристика. Математическая статистика, сущность эмпирической функции распределения, построение графика. Нахождение доверительного интервала, выборочной дисперсии и её несмещённой оценки. Закон распределения случайной величины.
курсовая работа, добавлен 22.09.2014