Дискретная математика в задачах
Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.
Подобные документы
Опыт со случайным исходом. Статистическая устойчивость. Понятие вероятности. Алгебра событий. Принцип двойственности для событий. Условные вероятности. Формулы сложения и умножения вероятностей. Формула Байеса. Пространство элементарных событий.
реферат, добавлен 03.12.2007Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.
дипломная работа, добавлен 09.03.2009Основные понятия теории графов. Степень вершины. Маршруты, цепи, циклы. Связность и свойства ориентированных и плоских графов, алгоритм их распознавания, изоморфизм. Операции над ними. Обзор способов задания графов. Эйлеровый и гамильтоновый циклы.
презентация, добавлен 19.11.2013Особенности периода математики постоянных величин. Создание арифметики, алгебры, геометрии и тригонометрии. Общая характеристика математической культуры Древней Греции. Пифагорейская школа. Открытие несоизмеримости, таблицы Пифагора. "Начала" Евклида.
презентация, добавлен 20.09.2015Степень истинности или ложности высказывания. Операции над нечеткими высказываниями. Отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность высказываний. Типы лингвистических высказываний. Множество нечетких продукций и входных переменных.
лекция, добавлен 15.10.2013Решение системы трех уравнений с тремя неизвестными при помощи определителей. Исследование системы на совместность, составление канонического уравнения эллипса. Изучение функции методами дифференциального исчисления, поиск точки разрыва функции.
контрольная работа, добавлен 16.04.2010Понятие, типы и алгебра матриц. Определители квадратной матрицы и их свойства, теоремы Лапласа и аннулирования. Понятие обратной матрицы и ее единственность, алгоритм построения и свойства. Определение единичной матрицы только для квадратных матриц.
реферат, добавлен 12.06.2010Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.
курсовая работа, добавлен 22.12.2015Определение типа кривой по виду уравнения, уравнение с угловым коэффициентом, в отрезках и общее уравнение. Определение медианы, уравнения средней линии в треугольнике. Вопросы по линейной алгебре. Решение системы уравнения при помощи обратной матрицы.
контрольная работа, добавлен 31.10.2010Задачи вычислительной линейной алгебры. Математическое моделирование разнообразных процессов. Решение систем линейных алгебраических уравнений большой размерности. Метод обратной матрицы и метод Гаусса. Критерии совместности и определенности системы.
курсовая работа, добавлен 21.10.2011Определение значения заданной функции в указанной точке при помощи интерполяционной схемы Эйткина. Проверка правильности данного решения с помощью кубического сплайна. Практическая реализация данного задания на языке Pascal и при помощи таблиц Excel.
курсовая работа, добавлен 29.08.2010Способы задания, предел и непрерывность функции. Свойства неопределенного интеграла. Понятие числового ряда и свойства сходящихся рядов. Порядок дифференциального уравнения. Случайные события и операции над ними. Классическое определение вероятности.
учебное пособие, добавлен 23.01.2014Применение интервальных графов. Алгоритмы распознавания интервальных графов: поиск в ширину, поиск в ширину с дополнительной сортировкой, лексикографический поиск в ширину, алгоритм "трех махов". Программа задания единичного интервального графа.
курсовая работа, добавлен 10.02.2017Теория графов как раздел дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Основные понятия теории графов. Матрицы смежности и инцидентности и их практическое применение при анализе решений.
реферат, добавлен 13.06.2011Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа, добавлен 28.05.2015Понятие "граф" и его матричное представление. Свойства матриц смежности и инцидентности. Свойства маршрутов, цепей и циклов. Задача нахождения центральных вершин графа, его метрические характеристики. Приложение теории графов в областях науки и техники.
курсовая работа, добавлен 09.05.2015- 70. Спектр графа
Спектральная теория графов. Теоремы теории матриц и их применение к исследованию спектров графов. Определение и спектр предфрактального фрактального графов с затравкой регулярной степени. Связи между спектральными и структурными свойствами графов.
дипломная работа, добавлен 05.06.2014 Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Основные понятия теории графов. Матричные способы задания графов. Выбор алгоритма Форда–Бэллмана для решения задачи поиска минимальных путей (маршрутов) в любую достижимую вершину нагруженного орграфа. Способы выделения пути с наименьшим числом дуг.
курсовая работа, добавлен 22.01.2016Параллельные методы умножения матрицы на вектор. Принципы распараллеливания. Способы разбиения матриц ленточного типа по строкам. Распределение задач по процессорам. Анализ эффективности. Программная реализация (MPI) – порядок по логике вызовов.
презентация, добавлен 10.02.2014Методика расчета скалярного произведения заданных векторов. Расчет определителей и рангов матриц, нахождение обратных матриц. Разрешение уравнений по методу Крамера, обратной матрицы, а также встроенной функции lsolve. Анализ полученных результатов.
лабораторная работа, добавлен 13.10.2014Множество как ключевой объект математики, теории множеств и логики. Операции над множествами, числовые последовательности. Множества действительных чисел. Бесконечно малые и большие функции. Непрерывность функции в точке. Свойства непрерывных функций.
лекция, добавлен 25.03.2012