Теория координатно-двойственных (К-Д) конфигураций
Определение координатно-двойственной конфигурации. Доказательство теорем: принцип неинцидентности, принцип взаимности. О двойственности координатного репера. Составление таблиц двойственности, исследование конфигурации Дезарга, автополярной конфигурации.
Подобные документы
Построение цепочки силлогизмов для создания доказательства, утверждающего истинность теоремы. Классификация теорем по логической структуре, характеристика необходимых и достаточных условий. Существующие системы аксиом, предъявляемые к ним требования.
презентация, добавлен 15.02.2012Поиск равновесных решений круговой ограниченной задачи четырёх тел, сформулированной на основе треугольных решений Лагранжа, и анализ их устойчивости в смысле Ляпунова. Порядок выведения функциональных уравнений, определяющих равновесные конфигурации.
автореферат, добавлен 19.08.2018- 28. Числовые системы
Определение понятия множества чисел и классификация их систем. Характеристика и доказательство аксиом Пеано по методу математической индукции. Исследование теорем о множестве целых чисел. Очерк сущности множества рациональных и комплексных чисел.
реферат, добавлен 29.10.2013 Исследование максимальных подгрупп конечных разрешимых групп путем определения основных понятий - разрешимая группа, ступень разрешимости группы, неразрешимая группа, замкнутая группа, и ограничение и доказательство теорем о пересечении подгрупп.
курсовая работа, добавлен 22.09.2009Аналитическое доказательство истинности заключения (теоремы) от противного. Содержательный (словесный) алгоритм по методу Вонга. Содержательный (словесный) алгоритм по методу пропозициональной резолюции. Блок-схемы и сравнительный анализ алгоритмов.
курсовая работа, добавлен 19.06.2012- 31. Площади фигур
История зарождения системы измерений. Становление геометрии как науки. Определение размера части плоскости, заключенной внутри плоской замкнутой фигуры. Исследование единиц измерения площади. Рассмотрение теорем о площадях фигур и их доказательство.
реферат, добавлен 02.11.2015 Исследование периодической группы Шункова, насыщенной прямыми произведениями циклических и проективных специальных линейных групп размерности два. Доказательство локальной конечности. Факты и вспомогательные утверждения. Доказательство теорем, результаты.
статья, добавлен 13.02.2018Знакомство с решением задачи моделирования нестационарного теплового режима тепловых сетей с учетом их теплоаккумулирующих свойств и многовариантной конфигурации. Основные способы и проблемы решения систем дифференциальных уравнений первого порядка.
статья, добавлен 19.12.2017Модели динамики мнений типа Hegselmann-Krause. Различные конфигурации в неоднородной модели. Распределения числа кластеров в неоднородной и классической моделях, финальных мнений и размера максимального кластера, плотность распределения агентов.
дипломная работа, добавлен 07.12.2019Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Особенности построения проективной плоскости на базе трехмерного векторного пространства, аналитически и аксиоматически. Характеристика проективной плоскости, ее основные свойства. Анализ теорем Дезарга, Паппа, их применение на евклидовой плоскости.
курсовая работа, добавлен 21.05.2012- 37. Теория игр
Вычисление нижних и верхних границ и составление платежных матриц. Определение стратегий игры и седловых точек согласно заданным матрицам. Ознакомление с решением матричных игр графоаналитическим методом с помощью применения электронных таблиц excel.
контрольная работа, добавлен 28.05.2014 Анализ аргументации сторонников и противников тезиса "концептуалистов" и "формалистов". Оценка возможностей воспроизведения доказательства математических теорем в виде строгого логического вывода. Программа унивалентных основ математики В. Воеводского.
статья, добавлен 26.05.2022Направления исследований в дискретной математике, направления их реализации и анализ результатов. Виды теорем и способы их доказательства: цепочка заключения, от противного, метод переборов и математической индукции, комбинированное доказательство.
контрольная работа, добавлен 23.02.2013- 40. Симплекс-метод
Составление математической модели прямой и двойственной задачи. Расчет плана выпуска продукции с помощью симплекс-метода, который обеспечивает максимальную прибыль. Матрица стоимости перевозки единицы продукции. Оптимизируемая форма двойственной задачи.
контрольная работа, добавлен 20.05.2012 Исследование периодической краевой задачи для заданного уравнения. Определение функциональных банаховых пространств. Вычисление ограниченных проекторов на ядро и образ оператора. Расчет и обоснование изоморфизма. Доказательство представленных теорем.
статья, добавлен 26.04.2019Доказательство теоремы о том, что число регулярных простых чисел бесконечно. Сравнение Куммера, теорема Штаудта. Принцип бесконечного понижения (спуск). Доказательство теоремы о произведении третьего простого натурального нечетного числа на дробное.
статья, добавлен 03.03.2018Основные идеи системной нечеткой интервальной математики. Доказательство теорем, показывающих, что нечеткие множества и результаты операций над ними можно рассматривать как проекции случайных множеств и результатов соответствующих операций над ними.
статья, добавлен 12.05.2017Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Метод "частичных" областей для решения уравнений с параметрами. Показательные и логарифмические уравнения и неравенства с параметрами. Освоение методов решения вычислительных и логических задач. Поиск решения линейных и квадратных уравнений в общем виде.
дипломная работа, добавлен 20.05.2018Значение теоремы Дж. Чевы и Менелая в золотом фонде древнегреческой математики. Сравнительный анализ в эффективности применение этих теорем по сравнению с другими способами решения планиметрических задач. Доказательство теоремы о биссектрисе угла.
контрольная работа, добавлен 30.09.2013Возникновение дифференциальной геометрии. Доказательство теорем о пределах. Исследование функции на экстремумы, свойства непрерывных функций и производные. Теоремы о дифференцируемых функциях. Биографии ученых, внёсших вклад в развитие дифференциалов.
курсовая работа, добавлен 11.02.2010Исследование конечной базируемости многообразий коммутативных алгебр Лейбница-Пуассона полиномиального роста в случае основного поля нулевой характеристики, их ограничение полиномом. Исследование частных случаев задачи, доказательство основных теорем.
статья, добавлен 31.05.2013Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021Понятие симметрии. Симметрия форм предметов природы как выражение пропорциональности, соразмерности, гармонии. Переход от единства к двойственности. "Золотое деление" или "золотая пропорция", ее свойства. Прием асимметричного деления в архитектуре.
реферат, добавлен 31.05.2012