Задача голосования
Понятие систематических решений агрегирования индивидуальных предпочтений в коллективных решениях. Анализ теории голосования при линейном порядке. Характеристика парадокса Кондорсе и теоремы невозможности. Изучение аксиоматического подхода К. Эрроу.
Подобные документы
Игры и индексы влияния, зависящие от предпочтений участников. Избранные аксиоматики для классических индексов влияния. Аксиоматики для индексов влияния в случае голосования с квотой. Алгоритмы и комплекс программ для вычисления индексов влияния.
диссертация, добавлен 12.01.2017Содержание аксиоматического метода построения научной теории: выделение основных понятий, формулировка аксиомы, вывод логическим путём теоремы и других определений. Разрыв между геометрией и арифметикой Евклида. Аксиома параллельности Лобачевского.
реферат, добавлен 30.10.2010Понятие индивидуальных предпочтений и удовлетворяющих ряд свойств, описываемых бинарными отношениями. Очерк развития ординального подхода в рамках математической логики. Анализ специальных классов линейного порядка. Свойства матриц смежности графов.
лекция, добавлен 29.09.2013Изучение особенностей непосредственного подсчета вероятностей. Определение сущности статистической и геометрической вероятности. Характеристика центральной предельной теоремы. Исследование распределения случайных величин. Анализ теоремы Линдеберга.
контрольная работа, добавлен 30.03.2015Математика, как набор следствий, выводимых из некоторой системы аксиом. Важнейшая характеристика аксиоматического метода Гильберта. Особенность разработки теоремы о неполноте Курта Геделя. Основной анализ непротиворечивости формальной арифметики.
контрольная работа, добавлен 16.12.2014Анализ возникновения измерения площадей земельных участков в Древнем Вавилоне и Египте. Открытие теоремы об объемах пирамиды и конуса Демокритом. Характеристика аксиоматического метода Евклида. Особенность векторного обоснования евклидовой геометрии.
реферат, добавлен 04.05.2015Формулировка теоремы Ферма из теории алгебраических чисел. Доказательство данной теоремы методом "от противного": сначала предполагается выполнение основного равенства теоремы, а затем показывается его нарушение, приводящее к выполнению утверждения.
статья, добавлен 27.09.2012Аксиоматический метод построения научной теории. Выделение понятий, формулирование аксиомы. Выведение теоремы и других понятий логическим путём. Пять "общих понятий" Евклида, причины его критики. Модель планиметрии Лобачевского на евклидовой плоскости.
реферат, добавлен 08.10.2011Изучение двойственности в линейном программировании. Классификация видов математических моделей двойственных задач. Характеристика симплексного метода решения математических задач. Определение минимального значения линейной функции в симметричных задачах.
реферат, добавлен 30.10.2010Анализ определений внутренних и внешних устойчивых множеств на графе с определением его ядра. Обзор построения нелокальных правил коллективных решений. Нахождение значений векторов турнирной матрицы, методом индивидуальных порядков линейной алгебры.
лекция, добавлен 29.09.2013Предложения решений в целых числах уравнений теории чисел. Доказательство отсутствия решений в целых числах уравнения теоремы Ферма. Предложение доказательства бесконечности регулярных простых чисел. Делимость числителей чисел. Простое число Мерсена.
статья, добавлен 03.03.2018Характеристика причин возникновения дробей. Анализ единичных, систематических и дробей общего вида. Описание особенностей записи дробных чисел в Древнем Египте, Вавилоне, в Древней Греции и Риме, на Руси. Изучение старинных задач с дробными числами.
презентация, добавлен 11.05.2015Начально-краевая задача для одного квазилинейного параболического уравнения с запоминающим оператором в ограниченной области с достаточно гладкой границей. Доказательство теоремы о существовании решений рассматриваемой задачи с запоминающим оператором.
статья, добавлен 11.11.2018- 14. Существование и устойчивость решений краевых задач эллиптического типа с разрывными нелинейностями
Основной аппарат и реализация вариационного подхода для нелинейных эллиптических задач. Получение теорем существования для резонансных краевых задач, установка условий корректности и правильности решений, доказательство устойчивости множеств решений.
автореферат, добавлен 10.12.2013 Геометрия как одна из наиболее древних математических наук. Творчество Евклида и его значение для математики. Изучение истории развития геометрии. Примеры доказательства пятого постулата Евклида. Рассмотрение аксиоматического построения геометрии.
курсовая работа, добавлен 05.04.2014Характеристика и сущности теории функций действительного переменного. Знакомство с основными теоремами, их доказательство. Анализ теоремы о произведениях конечного числа счетных множеств. Особенности теоремы, отображающей образ счётного множества.
контрольная работа, добавлен 25.12.2011Анализ формирования математических понятий. Дедуктивный характер доказательств. Использование идеальных объектов как особенность математической абстракции. Связь между понятиями "упражнение" и "задача", признаки. Организация усвоения теоремы задачи.
статья, добавлен 11.11.2018Характеристические свойства функций выбора и требования к ним. Установление факта отказа от покупки. Условие независимости от отбрасывания отвергнутых вариантов. Правило строгого наследования или константности. Принцип парных предъявлений Кондорсе.
лекция, добавлен 30.04.2014Доказательства классических теорем о неподвижных точках (в том числе и в бесконечномерном случае), их применения в теории дифференциальных уравнений. Сущность теоремы Банаха о сжатии полных метрических пространств, вычисление теоремы Брауэра для круга.
дипломная работа, добавлен 22.04.2011Формулировка исходных идей теории относительности в период, предшествующий ее созданию. Ценные идеи крупнейшего мыслителя английского математика Эдмунда Уиттекера. Основные положения, необходимые для аксиоматического построения релятивистской теории.
доклад, добавлен 01.05.2012Общая характеристика краевых задач Штурма-Лиувилля. Знакомство с особенностями и назначением теоремы Стеклова. Анализ свойств собственных значений и собственных функций задачи Штурма-Лиувилля. Рассмотрение обыкновенных дифференциальных уравнений.
контрольная работа, добавлен 02.12.2013Методы решения алгебраических уравнений 3-й и 4-й степени с одним неизвестным. Доказательство теоремы Абеля. Понятие группы и ее свойства. Теорема алгебры комплексных чисел. Функции комплексного переменного. Римановы поверхности сложных выражений.
книга, добавлен 28.12.2013Центральная предельная теорема теории вероятностей как совокупность предложений, устанавливающих условия возникновения нормального закона распределения. Теорема Ляпунова и Лапласа как простейшие формы центральной предельной теоремы и их доказательство.
реферат, добавлен 18.03.2014Исследование сложности решения задачи агрегирования данных в многомерных кубах. Характеристика определения вычислительной сложности, анализ ее зависимости от параметров гиперкуба и оценка вычислительной сложности при варьировании этих параметров.
статья, добавлен 18.01.2018Главная особенность исследования теоремы Бернулли. Построение графика распределения вероятностей. Основной анализ определения полиномиальной схемы. Характеристика гипергеометрических испытаний. Изучение интегральной приближенной формулы Муавра-Лапласа.
презентация, добавлен 25.09.2017