Специальные бинарные отношения
Антисимметричные и транзитивные отношения перпендикулярности на множестве прямых на плоскости. Неизоморфные отношения частичного порядка на четырехэлементном множестве. Доказательство логического тождества с помощью диаграмм Эйлера, логика предикатов.
Подобные документы
- 76. Теория графов
Исследование математической теории о совокупности непустого множества вершин и ребер. Анализ кратности неориентированных и ориентированных дуг. Характеристика понятия эквивалентности при множестве вершин. Обоснование гомеоморфного подразбиения дуги.
лекция, добавлен 18.10.2013 Исследование кривой второго порядка, принципы и правила ее построения по каноническому уравнению. Преобразование координат на плоскости. Преобразование координат на плоскости. Приведение к каноническому виду общего уравнения кривой 2-ого порядка.
контрольная работа, добавлен 06.06.2014Исследование различных систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Характеристика и доказательства теорем Ферма-Эйлера, Адольфа Гурвица и приложение к ней (Фердинанда Георга Фробениуса).
курсовая работа, добавлен 09.04.2012Основные разделы исчисления высказываний: понятие выводимости, естественного вывода, отношения эквивалентности. Использование аксиоматического метода в построении математических теорий. Полное изложение исчисления высказываний. Понятие выводимости.
методичка, добавлен 31.05.2012Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
учебное пособие, добавлен 12.11.2017- 81. Пространство Rn
Критерии определения независимости и ортогональности собственных векторов. Свойства расстояния. Простейшие операции над множествами. Последовательности и функции в пространстве Rn. Теорема Гейне. Непрерывность на множестве. Понятие частных производных.
курсовая работа, добавлен 17.01.2011 - 82. Теория выбора
Определение порогового отношения предпочтения для сравнения альтернатив по числу низких оценок. Классы эквивалентности слабого порядка. Механизм и закономерности работы формулы перечисления. Исследование функция перечисления, построение ее аксиоматики.
дипломная работа, добавлен 26.08.2016 Проведение исследования бинарной и унарной алгебраических операций на множестве. Особенность формализации нечеткой информации для построения математических моделей. Характеристика аксиом меры нечеткости. Основные виды метрик функциональных пространств.
лабораторная работа, добавлен 06.10.2017- 84. О функции Эйлера
Значение функции Эйлера в теории чисел и математике. Доказывание формулы Мертинга и изучение, на ее основе, точности аппроксимации среднего значения функции Эйлера соответствующим квадратичным полиномом. Понятие плотности значений функции Эйлера.
статья, добавлен 26.05.2017 Определение основных видов функций, изучение их свойств. Использование аналитического и графического методов задания функций при нахождении ограничений снизу и сверху на множестве; точек максимума и минимума; вычислении наименьшего и наибольшего значений.
реферат, добавлен 05.10.2009Очерк профессорской деятельности доктора наук в области прикладной математики - П.Л. Чебышева. Изучение теорем о множестве алгебраических многочленов и приближение тригонометрических полиномов. Свойства минимальной нормы многочленов по Чебышеву.
реферат, добавлен 03.11.2013Рассмотрение определения функции в математическом анализе. Расчет предела функциональной последовательности. Бесконечно малые функции и их основные свойства. Изучение равенства односторонних пределов. Ограничение функций сверху и снизу на множестве.
презентация, добавлен 16.10.2014Задачи, приводящие к понятию производной. Исследование уравнения неравномерного прямолинейного движения, определенного на заданном множестве. Определение тангенса угла наклона касательной к графику функции в точке с абсциссой, расчет производной.
лекция, добавлен 11.12.2014Определение гамма-функцией и бета-функцией эйлеровых интегралов первого и второго рода. Основное функциональное уравнение гамма-функции. Связь межу бета и гамма-функциями Эйлера. Построение графика модуля гамма-функции на комплексной плоскости.
курсовая работа, добавлен 04.11.2016Система постулатов построений с помощью циркуля и линейки. Различные методы решения задач на построение. Параллельное проектирование и его свойства. Изображение плоских фигур в параллельной проекции. Изображения прямых и плоскостей в аксонометрии.
методичка, добавлен 08.06.2015Равенство отношения минимума модуля первой производной функции Ляпунова на сечении к значению функции. Траектория линеаризованной в окрестности состояния равновесия системы с начальной точкой. Методика построения условно-экстремальной функции Ляпунова.
статья, добавлен 12.05.2018Определение и распределение дискретной случайной величины при множестве возможных значений. Свойства геометрической функции распределения. Формульное выражение математического ожидания. Графики функции и плотности распределения непрерывной величины.
методичка, добавлен 03.12.2013Аппроксимация, при которой приближение строится на заданном дискретном множестве точек. Интерполяционный полином Лагранжа в виде разложения. Получение интерполяционного многочлена функции. Оценка погрешности остаточного члена при вычислении логарифма.
курсовая работа, добавлен 13.03.2014Определение кривых второго порядка на плоскости как линий пересечения кругового конуса с плоскостями, не проходящими через его вершину. Характеристика эллипса с помощью декартовой системы координат. Понятие и основные свойства гиперболы и параболы.
лекция, добавлен 25.01.2011Применение формул Эйлера, Гаусса и Куммера для гипергеометрической функции. Свойства "золотого сечения", его роль в математике и в теории чисел. Доказательство лемм с помощью схемы Чудновского-Хаты для нахождения числового значения "золотого сечения".
статья, добавлен 27.05.2018Изучение свойств фигур на плоскости, основные понятия планиметрии и представления о геометрических телах. Основные свойства точек, прямых и плоскостей, касающиеся их взаимного геометрического расположения и их значения относительно плоскости в аксиоме.
презентация, добавлен 13.04.2012Рассмотрение Теоремы Фейербаха и теоремы Эйлера об окружности девяти точек. Ознакомление с историей ее доказательства и названия. Построение прямой Эйлера и описанной окружности. Изучение свойств окружности Эйлера, нахождение ее центра и радиуса.
презентация, добавлен 08.09.2014Изучение уравнения прямой линии с направляющим вектором. Гипербола - множество точек плоскости, для которых модуль разности расстояний до двух фиксированных фокусов постоянный. Векторная функция скалярного аргумента. Прямая линия, кривые второго порядка.
презентация, добавлен 29.10.2017Рассмотрение уравнения прямой, заданной угловым коэффициентом и в отрезках, основные отличия. Процесс нахождения расстояния от точки до прямой на плоскости. Сущность канонического и параметрического уравнений. Правила взаимного расположения двух прямых.
лекция, добавлен 23.10.2013- 100. Операции с матрицами
Определение абсолютной величины смешанного произведения векторов. Рассмотрение и характеристика условия параллельности и перпендикулярности прямых. Ознакомление с операциями сложения матриц. Исследование и анализ процесса умножения матрицы на число.
лабораторная работа, добавлен 29.11.2015