Специальные бинарные отношения
Антисимметричные и транзитивные отношения перпендикулярности на множестве прямых на плоскости. Неизоморфные отношения частичного порядка на четырехэлементном множестве. Доказательство логического тождества с помощью диаграмм Эйлера, логика предикатов.
Подобные документы
- 76. Теория графов
Исследование математической теории о совокупности непустого множества вершин и ребер. Анализ кратности неориентированных и ориентированных дуг. Характеристика понятия эквивалентности при множестве вершин. Обоснование гомеоморфного подразбиения дуги.
лекция, добавлен 18.10.2013 Исследование кривой второго порядка, принципы и правила ее построения по каноническому уравнению. Преобразование координат на плоскости. Преобразование координат на плоскости. Приведение к каноническому виду общего уравнения кривой 2-ого порядка.
контрольная работа, добавлен 06.06.2014Основные разделы исчисления высказываний: понятие выводимости, естественного вывода, отношения эквивалентности. Использование аксиоматического метода в построении математических теорий. Полное изложение исчисления высказываний. Понятие выводимости.
методичка, добавлен 31.05.2012Исследование различных систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Характеристика и доказательства теорем Ферма-Эйлера, Адольфа Гурвица и приложение к ней (Фердинанда Георга Фробениуса).
курсовая работа, добавлен 09.04.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Определение абсолютной величины смешанного произведения векторов. Рассмотрение и характеристика условия параллельности и перпендикулярности прямых. Ознакомление с операциями сложения матриц. Исследование и анализ процесса умножения матрицы на число.
лабораторная работа, добавлен 29.11.2015Рассмотрение Теоремы Фейербаха и теоремы Эйлера об окружности девяти точек. Ознакомление с историей ее доказательства и названия. Построение прямой Эйлера и описанной окружности. Изучение свойств окружности Эйлера, нахождение ее центра и радиуса.
презентация, добавлен 08.09.2014Изучение уравнения прямой линии с направляющим вектором. Гипербола - множество точек плоскости, для которых модуль разности расстояний до двух фиксированных фокусов постоянный. Векторная функция скалярного аргумента. Прямая линия, кривые второго порядка.
презентация, добавлен 29.10.2017Определение функции, ее свойства. Основные элементарные функции. Предел функции в точке, способы его вычисления. Вычисление предела отношения бесконечно малых функций. Раскрытие неопределенностей. Доказательство первого и второго замечательных пределов.
лекция, добавлен 29.09.2014