Дискретная математика
Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
Подобные документы
Понятие и матричное представление графов. Ориентированные и неориентированные графы. Опеределение матрицы смежности. Маршруты, цепи, циклы и их свойства. Метрические характеристики графа. Применение теории графов в различных областях науки и техники.
курсовая работа, добавлен 21.02.2009Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
контрольная работа, добавлен 14.06.2009Алгоритм упорядочивания множества. Определение декартового произведения, его графическая интерпретация. Обратное декартово произведение множеств. Проецирование на оси координат и на координатные плоскости. Область определения и область значений.
лекция, добавлен 18.12.2013Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Алгоритм, использующий метод Магу-Вейссмана. Общие сведения, описание, вызов и загрузка, функциональное назначение и программный код программы. Описание логической структуры и инструкция пользователю, решение контрольных примеров раскраски графа.
курсовая работа, добавлен 20.12.2009Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Основні положення теорії графов. Алгоритм розфарбування графу методом неявного перебору. Задання графу матрицею суміжності. Особливості програмної реалізації на мові Turbo Pascal алгоритму оптимального розфарбування вершин завантаженого з файлу графа.
курсовая работа, добавлен 15.06.2014Основные сведения о тетраэдре - поверхности, составленной из четырех треугольников. Количество его граней, ребер, вершин. Свойства тетраэдра, формулы нахождения объема, радиуса, высоты. Тетраэдры в живой природе, технике. Теорема Менелая для тетраэдра.
презентация, добавлен 20.04.2014Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.
контрольная работа, добавлен 02.01.2011- 35. Математика
Математика и информатика. Решение системы линейных алгебраических уравнений методом Крамера. Работа в текстовом редакторе MS WORD. Рисование с помощью графического редактора. Определение вероятности. Построение графика функции с помощью MS Excel.
контрольная работа, добавлен 10.01.2009 Определение многогранника, его сторон и вершин, отрезков, соединяющих вершины. Описание основания, боковых граней и высоты призмы. Правильная и усеченная пирамида. Теорема Эйлера. Анализ особенностей и геометрических свойств правильных многогранников.
презентация, добавлен 27.10.2013Применение интервальных графов. Алгоритмы распознавания интервальных графов: поиск в ширину, поиск в ширину с дополнительной сортировкой, лексикографический поиск в ширину, алгоритм "трех махов". Программа задания единичного интервального графа.
курсовая работа, добавлен 10.02.2017- 38. Планарные графы
Сущностные характеристики плоского и планарного графа. Основные особенности формулы Эйлера и критерия Понтрягина-Куратовского, их доказательства. Общая характеристика двух критериев планарности. Сущность и значение процесса применения гамма-алгоритмов.
реферат, добавлен 25.12.2011 Граф как множество вершин (узлов), соединённых рёбрами, способы и сфера их применения. Специфика теории графов как раздела дискретной математики. Основные способы преобразования графов, их особенности и использование для решения математических задач.
курсовая работа, добавлен 18.01.2013Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.
контрольная работа, добавлен 05.07.2014Понятия теории графов. Понятия смежности, инцидентности и степени. Маршруты и пути. Матрицы смежности и инцедентности. Алгоритм поиска минимального пути в ненагруженном ориентированном орграфе на любом языке программирования, алгоритм фронта волны.
курсовая работа, добавлен 28.04.2011Представление с помощью кругов Эйлера множественного выражения. Законы и свойства алгебры множеств, упрощение выражений. Система функций, ее возможные базисы. Минимизирование булевой функции. Метод Квайна – Мак-Класки. Определение хроматического числа.
контрольная работа, добавлен 17.01.2011Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.
контрольная работа, добавлен 25.08.2013Вычисление скалярного и векторного произведений векторов, заданных в прямоугольной декартовой системе координат. Расчет длины ребра пирамиды по координатам ее вершин. Поиск координат симметричной точки. Определение типа линии, описываемой уравнением.
контрольная работа, добавлен 12.05.2016Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010- 46. Спектр графа
Спектральная теория графов. Теоремы теории матриц и их применение к исследованию спектров графов. Определение и спектр предфрактального фрактального графов с затравкой регулярной степени. Связи между спектральными и структурными свойствами графов.
дипломная работа, добавлен 05.06.2014 История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014Загальні типи правильних опуклих многогранників. Властивості тетраедрів, кубів, октаедрів, додекаедрів та ікосаедрів. Кількість сторін, ребер та вершин многогранника. Формули для визначення площі поверхні многогранників. Винаходження декартових координат.
презентация, добавлен 12.12.2011Построение подмножеств и диаграмм Венна по заданному универсальному множеству и его составляющим. Сложение, вычитание и транспонирование матриц. Метод понижения порядка и приведения системы к треугольному виду. Методы Крамера, Гаусса и матричный способ.
контрольная работа, добавлен 09.01.2011Объединенная классификация суждений, их анализ и практическое применение круговых схем Эйлера. Установление вида сложного суждения, оценка его составных частей и составление его логической схемы. Определение формально-логического закона и его нарушений.
контрольная работа, добавлен 26.08.2011