Дискретная математика

Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.

Подобные документы

  • Множество как одно из ключевых понятий математики, в частности, теории множеств и логики. Операции разности и дополнения и их антидистрибутивность относительно операций объединения и пересечения. Множества высших мощностей. Свойства операции объединения.

    реферат, добавлен 20.09.2015

  • Теория графов как один из разделов дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Методика решения задач календарно-сетевого планирования и управления. Сущность алгоритма Форда-Фалкерсона.

    лабораторная работа, добавлен 28.05.2015

  • Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.

    курсовая работа, добавлен 05.12.2019

  • Понятие пространства элементарных событий. Сведения из теории конечных множеств и комбинаторики. Декартово произведение как одна из важнейших конструкций математики. Изучение взаимосвязей логики, интуиции и приложений. Регламент деятельности учителя.

    книга, добавлен 06.05.2013

  • Алгебра как часть вычислительного анализа и теории функций. Теория конечных групп подстановок. Представители Русской алгебраической школы. Научные исследований по математике Отто Шмидта, гипотеза о происхождении Земли. Труды по теории множеств Новикова.

    реферат, добавлен 14.11.2014

  • Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.

    лекция, добавлен 07.08.2013

  • Определение математических понятий: множество, история теории множеств, их сравнение и операции над ними; функция и способы ее задания, группа как непустое множество, конъюнктивная нормальная форма, формальная логика и нормальный алгоритм Маркова.

    контрольная работа, добавлен 19.06.2011

  • История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.

    реферат, добавлен 06.06.2012

  • Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.

    учебное пособие, добавлен 15.01.2016

  • Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.

    курс лекций, добавлен 07.09.2014

  • Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.

    курсовая работа, добавлен 15.09.2017

  • Краткий перечень основных понятий теории графов как раздела дискретной математики. Понятия смежности и инцидентности. Матрицы смежности и инцидентности, достижимости и связности. Маршруты и пути. Применение методов теории графов в прикладных задачах.

    методичка, добавлен 24.03.2015

  • Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.

    методичка, добавлен 05.05.2014

  • Определения дифференцирования в линейных пространствах. Связь производных Фреше и Гато. Необходимое условие экстремума функции, формула конечных приращений и приложения. Понятия теории множеств, формула конечных приращений и следствие теоремы Лагранжа.

    курсовая работа, добавлен 25.04.2014

  • Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.

    курсовая работа, добавлен 22.06.2011

  • Основы арифметических действий над натуральными числами. Операции декартового произведения множеств. Характеристика комплексных чисел и возможные операции над ними. Пересечение, объединение, дополнение, декартово произведение в курсе школьной математики.

    реферат, добавлен 08.10.2012

  • Элементы теории графов и комбинаторики. Использование в доказательстве теоремы Кэли. Разбиение и композиции натуральных чисел. Изучение работ венгерского математика Кенинга в 30-е годы XX столетия по математической дисциплине теории графов и элементов.

    курсовая работа, добавлен 23.12.2020

  • Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.

    курсовая работа, добавлен 05.12.2012

  • Основные понятия теории множеств. Операции над ними. Свойства алгебраического тождества. Упорядоченные множества элементов. Структура и способы представления многомерных матриц. Правило получения обратной матрицы. Многомерно-матричное дифференцирование.

    реферат, добавлен 16.01.2018

  • Множества и операции над ними. Представление множеств и отношений в программах. Алгоритмы генерации множеств и задачи информационного поиска. Алгоритм выполнения операции минимум. Бинарное поисковое дерево. Генерация всех подмножеств универсума.

    контрольная работа, добавлен 23.04.2013

  • Понятие и сущность, математическое обоснование множеств, их классификация и типы, характеристика и свойства, основные способы задания. Общее описание и принципы реализации операций над множествами: объединение, пересечение, разность и дополнение.

    контрольная работа, добавлен 17.06.2015

  • Изучение истории возникновения теории графов, основные понятия и виды графов. Теория графов в транспортных, коммуникационных и геоинформационных системах. Применение теории графов в медицине, биологии, физике, химии, астрономии, истории, искусстве.

    научная работа, добавлен 03.05.2019

  • Применение теории множеств в различных разделах математики. Кардинальные числа и появление теории меры. Сравнительная количественная оценка множеств. Определение понятий длины, площади и объема в геометрии фигур. Развитие теории интеграла и рядов Фурье.

    контрольная работа, добавлен 17.06.2014

  • Теоретические аспекты понятия разности двух множеств как теоретико-множественной операции в математике, особенности пустого множества. Основные свойства разности множеств и сущность законов де Моргана. Реализация операции с помощью компьютерных программ.

    реферат, добавлен 18.02.2012

  • Определение понятия множеств Г. Кантора, их примеры и обозначения. Операции над множествами: пересечение, объединение, разность и дополнение, их наглядное представление на диаграмме Эйлера-Венна. Равенство, тождественность и эквивалентность множеств.

    презентация, добавлен 10.05.2016

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.