Основные положения дискретной математики
Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
Подобные документы
Линейная алгебра. Комплексные числа. Деление отрезка в данном отношении. Площадь треугольника и многоугольника. Сферические и цилиндрические поверхности. Замечательные и вычислительные пределы. Производства и дифференциал. Построение графика функций.
методичка, добавлен 19.06.2015- 102. Эйлеровы графы
Основные понятия теории графов. Маршруты и связность. Задача о кёнигсбергских мостах. Эйлеровы графы. Оценка числа эйлеровых графов. Алгоритм построения эйлеровой цепи в данном эйлеровом графе. Практическое применение теории графов в науке.
курсовая работа, добавлен 23.12.2007 - 103. Алгоритм Дейкстры
Теория графов как математический аппарат для решения задач. Характеристика теории графов. Критерий существования обхода всех ребер графа без повторений, полученный Л. Эйлером при решении задачи о Кенигсбергских мостах. Алгоритм на графах Дейкстры.
контрольная работа, добавлен 11.03.2011 Развитие математики как теории в школе Пифагора. Планиметрия прямолинейных фигур. Стереометрия, теория арифметической и геометрической пропорций. Открытие несоизмеримых величин. Бесконечность как математическая категория. Период академии, фаза упадка.
реферат, добавлен 29.03.2010Получены другие формулы для решений уравнения Пифагора x^2+y^2=z^2, отличные от формул древних индусов, и делающие возможным доказательство для всех нечётных значений показателя n тем же способом бесконечного спуска Ферма, что и для n=4. Доказательство.
статья, добавлен 30.04.2008Геометрия Евклида как первая естественнонаучная теория. Структура современной математики. Основные черты математического мышления. Аксиоматический метод. Принципы аксиоматического построения научных теорий. Математические доказательства.
реферат, добавлен 10.05.2011- 107. Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа, добавлен 13.02.2010 Использование формулы Тейлора для разложения основных элементарных функций в степенной ряд. Сущность форм Лагранжа и Пеано, примеры вычисление пределов функций. Особенности использования принципа разложения в ряд на ЭВМ в режиме реального времени.
курсовая работа, добавлен 29.04.2011- 109. Исследование графов
Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.
контрольная работа, добавлен 05.05.2013 - 110. Графы
Математическое описание системы автоматического управления с помощью графов. Составление графа и его преобразование, избавление от дифференциалов. Оптимизации ориентированных и неориентированных графов, составления матриц смежности и инцидентности.
лабораторная работа, добавлен 11.03.2012 Системы линейных уравнений. Функции: понятия и определения. Комплексные числа, действия над ними. Числовые, функциональные, тригонометрические ряды. Дифференциальные уравнения. Множества, операции над ними. Теория вероятностей и математической статистики.
учебное пособие, добавлен 29.10.2013Восстановление графов по заданным матрицам смежности вершин. Построение для каждого графа матрицы смежности ребер, инцидентности, достижимости, контрдостижимости. Поиск композиции графов. Определение локальных степеней вершин графа. Поиск базы графов.
лабораторная работа, добавлен 09.01.2009Преобразование матрицы: умножение, приведение коэффициентов на главной диагонали матрицы к 1. Решение системы уравнений методом Крамера. Определители дополнительных матриц. Определение вероятности события (теория вероятности), математическая статистика.
контрольная работа, добавлен 21.10.2010Общая теория топологических и векторных пространств, внутренняя логика развития; аксиоматика. Структура построения нормированного пространства; рассмотрение и развитие понятия банахова пространства как определённого типа векторных пространств с нормой.
реферат, добавлен 11.01.2011Аппроксимация и теория приближений, применение метода наименьших квадратов для оценки характера приближения. Квадратичное приближение таблично заданной функции по дискретной норме Гаусса. Интегральное приближение функции, которая задана аналитически.
реферат, добавлен 05.09.2010- 116. Операции на графах
Операции на графах позволяют образовывать новые графы из нескольких более простых. Операции на графах без параллельных ребер. Объединение графов. Свойства операции объединения т, которые следуют из определения операции и свойств операций на множествах.
реферат, добавлен 27.11.2008 Описание заданного графа множествами вершин V и дуг X, списками смежности, матрицей инцидентности и смежности. Матрица весов соответствующего неориентированного графа. Определение дерева кратчайших путей по алгоритму Дейкстры. Поиск деревьев на графе.
курсовая работа, добавлен 30.09.2014Интерполирование функции в точке, лежащей в окрестности середины интервала. Интерполяционные формулы Гаусса. Формула Стирлинга как среднее арифметическое интерполяционных формул Гаусса. Кубические сплайн-функции как математическая модель тонкого стержня.
презентация, добавлен 18.04.2013Возникновение и основные этапы развития математики как науки о структурах, порядке и отношениях на основе операций подсчета, измерения и описания форм реальных объектов. Развитие знаний арифметики и геометрии в Древнем Востоке, Вавилоне и Древней Греции.
презентация, добавлен 17.12.2010Общие сведения о фигурах, вычерчиваемых одним росчерком. Теория графов Эйлера, задача о мостах. Правила построения фигуры без отрыва карандаша от бумаги. Задача об эйлеровом пути, применение графов в жизни, быту, различных отраслях науки и техники.
реферат, добавлен 16.12.2011Введение понятия переменной величины. Развитие интегральных и дифференциальных методов. Математическое обоснование движения планет. Закон всемирного тяготения Ньютона. Научная школа Лейбница. Теория приливов и отливов. Создание математического анализа.
презентация, добавлен 20.09.2015Выведение формулы решения квадратного уравнения в истории математики. Сравнительный анализ технологий различных способов решения уравнений второй степени, примеры их применения. Краткая теория решения квадратных уравнений, составление задачника.
реферат, добавлен 18.12.2012Основные обозначения и понятия, относящиеся к множествам, операции над ними. Объединение, пересечение и разность двух множеств и непринадлежность к нему элемента. Первая и вторая теорема Вейерштрасса, Ферма и Ролля. Вычисление интеграла вероятности.
контрольная работа, добавлен 12.12.2010Теория игр - математическая теория конфликтных ситуаций. Разработка математической модели игры двух лиц с нулевой суммой, ее реализация в виде программных кодов. Метод решения задачи. Входные и выходные данные. Программа, руководство пользователя.
курсовая работа, добавлен 17.08.2013Изучение вопросов применения теории множеств, их отношений и свойств и теории графов, а также математических методов конечно-разностных аппроксимаций для описания конструкций РЭА (радиоэлектронной аппаратуры) и моделирования протекающих в них процессов.
реферат, добавлен 26.09.2010