Дискретная математика
Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
Подобные документы
Понятие частично упорядоченного множества для современной теоретико-множественной математики. Теорема, позволяющая по формуле найти число линейно упорядочиваемых бинарных отношений на множестве из n элементов. Получение рекуррентной формулы уравнения.
статья, добавлен 30.07.2017Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Решение задачи оптимального размещения компонентов на печатной плате или отдельных элементов в корпусе устройства. Основные понятия теории графов. Анализ свойств минимальных путей в нагруженном орграфе. Построение матрицы инцидентности для орграфа.
курсовая работа, добавлен 10.01.2016Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Сущность и значение предикатов, отношений. Определение кванторов, их виды и взаимосвязи. Построение исчисления предикатов. Специфика логического следования, выводимость и доказуемость. Категорический силлогизм и другие умозаключения дедуктивной логики.
курсовая работа, добавлен 08.02.2011Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Множества: операции, свойства, уравнения, декартово произведения. Способы описания бинарного отношения. Эквивалентность, понятия комбинаторики. Графы: определения, расширения модели, оптимизационные задачи. Алгебры, группы, изоморфизмы и гомоморфизмы.
учебное пособие, добавлен 18.01.2015Понятие множества, операции и математические понятия в теории множеств. Суть и способы математического доказательства. Отношения эквивалентности и порядка на множестве. Теоретико-множественный подход в построении множества целых неотрицательных чисел.
курс лекций, добавлен 06.08.2017Определения и теоремы теории графов, подграфы. Операции над графами и степени их вершин. Цепи, циклы и компоненты. Применение теории графов в школьном курсе математики, в задачах управления дорожным движением, химии, биологии, физике. Графы и информация.
курсовая работа, добавлен 22.06.2014- 87. Теории множеств
Исследование теории графов в 30-е годы ХХ в. Двудольные графы и возможность их применения для наглядного представления паросочетаний. Изучение условия Холла. Трансверсали семейств множеств. Определение степени вершины. Паросочетания специального вида.
лекция, добавлен 29.09.2013 История появления теории графов. Первое знакомство с графами, математическое понятие и определение. Набор функций, определяющий степени вершин. Циклы и пути в графе. Варианты решения различных их разновидностей. Сферы, области использования теории графов.
курсовая работа, добавлен 29.01.2010Рассмотрение основных понятий теории множеств. Сущность элементарных тождеств, их функции и признаки. Главные свойства операций над отношениями: эквивалентности, толерантности, частичности порядка. Характеристика теории графов: эйлеровы, гамильтоновы.
учебное пособие, добавлен 28.12.2013Построение таблицы поведения автомата. Поиск системы булевых функций для возбуждения триггеров дискретного преобразователя информации. Преимущества, обеспечиваемые применением конечных автоматов. Составление схемы дискретного преобразователя информации.
курсовая работа, добавлен 18.11.2015Формализованные методы описания и исследования систем. Понятия и определения графов, способы их задания и типы. Применение графов для исследования систем, построение и преобразования их структуры. Случайные события и величины, их основные характеристики.
курсовая работа, добавлен 21.01.2016Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Проблема сложности вычислений как одна из важнейших проблем в дискретной математики. Множества и основные операции над ними. Основные законы операций над множествами. Прямые произведения и функции. Теорема Кантора. Матричный способ задания множеств.
реферат, добавлен 16.05.2012- 94. Нечеткая логика
Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.
презентация, добавлен 29.06.2022 - 95. Теория графов
Основные понятия теории графов. Алгоритм построения эйлерового пути. Теория графов как область дискретной математики, особенностью которой является геометрический подход к изучению объектов. Задача коммивояжера как одна из задач теории комбинаторики.
реферат, добавлен 18.03.2010 История возникновения теории графов и способы их представления в информатике. Определение понятия матрицы смежности и инцидентности. Маршрут как последовательность ребер, в которых каждые два соседних ребра имеют общую вершину. Гамильтонов и Эйлеров цикл.
презентация, добавлен 28.02.2012Представление структуры объекта в виде множеств. Исследование отношений на рефлексивность, транзитивность, симметричность. Определение логических взаимосвязей между множествами объекта. Представление структуры управления в виде графов, матрицы смежности.
курсовая работа, добавлен 07.06.2010Логические связи и отношения, лежащие в основе логического вывода, с использованием языка математики. Объединение множеств. Аксиома Дедекинда. Понятие супремума. Обратная функция. Геометрическая интерпретация. Монотонная последовательность чисел.
контрольная работа, добавлен 12.10.2013Основные способы разнесения во времени сигналов Z(t) и Z (t + 1). Понятие и принципы организации памяти автоматов. Сущность унитарного метода кодирования номеров состояний автомата. Замкнутый контур с последовательным чередованием номеров состояний.
лекция, добавлен 22.10.2013Изучение основных матриц графов и их теорем. Описание порядка построения матрицы по графическому рисунку графа и графов по заданной матрице. Характеристика метрических характеристик графов, связанных с матрицами. Нахождение путей графов по матрице.
курсовая работа, добавлен 13.09.2012