Задача голосования
Понятие систематических решений агрегирования индивидуальных предпочтений в коллективных решениях. Анализ теории голосования при линейном порядке. Характеристика парадокса Кондорсе и теоремы невозможности. Изучение аксиоматического подхода К. Эрроу.
Подобные документы
История возникновения аксиоматического метода в математике и в гуманитарных науках. Решение учебно-исследовательских задач в университете с использованием систем компьютерной математики. Применение теории нечетких множеств в гуманитарных исследованиях.
статья, добавлен 17.07.2018- 102. Понятие множества
Характеристика общих понятий теории множеств. Изучение основных операций над множествами. Изучение соответствия между множествами, отображения. Анализ кортежей, декартовых произведений. Бинарные отношения и их свойства. Описание элементов комбинаторики.
презентация, добавлен 27.01.2017 Выведены формулы для решений уравнения Пифагора, они отличаются от общеизвестных формул древних. Формулы могут быть использованы для доказательства большой теоремы Ферма, методом бесконечного спуска, для всех нечётных значений показателя степени n.
статья, добавлен 07.06.2008Основные разделы исчисления высказываний: понятие выводимости, естественного вывода, отношения эквивалентности. Использование аксиоматического метода в построении математических теорий. Полное изложение исчисления высказываний. Понятие выводимости.
методичка, добавлен 31.05.2012Основные методы теории графов. Задача раскраски графа в информатике. Составление расписаний и других задач на распределение ресурсов. Алгоритм неявного перебора. Составление графиков осмотра. Задача составления расписания. Способы раскраски вершин.
курсовая работа, добавлен 26.11.2014Свойства достоверного и невозможного события в теории вероятности. Роль комбинаторики в числе других разделов математики. Теоремы и формулы, используемые для уравнений по теории вероятностей. Математическое ожидание дискретной случайной величины.
учебное пособие, добавлен 29.01.2014Основные задачи теории нелинейных систем, методы расчета их устойчивости. Анализ теории устойчивости движения. Изучение реальных характеристик автоматических устройств, выделение типичных нелинейностей. Понятие устойчивости невозмущенного движения.
реферат, добавлен 17.02.2016Обоснование значимости теоремы Пифагора, ее применение в геометрии. Биографические факты из жизни Пифагора. Обзор математических трактатов Древнего Китая, чертеж и доказательство теоремы Пифагора в них. Доказательство теоремы Пифагора в трудах Евклида.
реферат, добавлен 12.09.2010- 109. Рекурсивные функции
Сущность и значение кодирования программ. Характеристика и отличительные черты теоремы о параметризации, описание и специфика универсальных функций. Применение теоремы Клини о нормальной форме. Синтаксис и семантика, теорема Райса и математическая логика.
контрольная работа, добавлен 30.12.2015 - 110. Окружность Эйлера
Рассмотрение Теоремы Фейербаха и теоремы Эйлера об окружности девяти точек. Ознакомление с историей ее доказательства и названия. Построение прямой Эйлера и описанной окружности. Изучение свойств окружности Эйлера, нахождение ее центра и радиуса.
презентация, добавлен 08.09.2014 Геометрический и физический смысл производной. Основные правила дифференцирования. Изучение функции с помощью производной. Достаточные условия убывания и возрастания функции. Использование производной для решения задач по экономической теории.
курсовая работа, добавлен 06.04.2014Элементы теории множеств и операции над ними. Предмет и задачи теории вероятности, основные аксиомы дискретных пространств. Правила комбинаторики: выборка, сочетание. Схемы независимых испытаний Д. Бернулли, теоремы С.Д. Пуассона и Муавра-Лапласа.
курс лекций, добавлен 08.01.2016- 113. Интеграл движения
Понятие интеграла движения. Независимые интегралы движения для замкнутой системы. Асимптотическая аддитивность интегралов движения. Формулировка, доказательство теоремы Нётер. Некоторые замечания относительно теоремы Нётер. Сохранение аддитивной величины.
контрольная работа, добавлен 19.11.2017 Открытие теоремы Пифагором. Легенда о заклании быков Пифагором. Некоторые классические доказательства теоремы Пифагора, известные из древних трактатов. Биография Пифагора. Древнекитайское, древнеиндийское, а также алгебраические доказательства теоремы.
реферат, добавлен 14.12.2012Узкая и широкая формулировка теоремы Ферма. Опровержение гипотезы Эйлера и открытой гипотезы Ландера-Паркина-Селфриджа. Проблема доказательства теоремы Ферма. Теорема Ферма в культуре и искусстве. Рассмотрение проектов доказательств теоремы Ферма.
реферат, добавлен 12.01.2020Рассмотрение теоремы Нагорного об удвоении слов в алфавите. Неформализуемость в лямбда-исчислении непредикативных конструкций. Изучение сущности теории множеств с самопринадлежностью. Математическое описание иерархии логических структур одного уровня.
статья, добавлен 26.04.2019Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016- 118. Бесконечно малые и бесконечно большие величины. Теоремы о пределах. Раскрытие неопределенностей
Формульное выражение и свойства бесконечно малых функций, распространяемых на случаи алгебраической суммы конечного числа. Методы вычисления бесконечно больших величин. Изучение теоремы о пределах. Способы подстановки предельного значения аргумента.
лекция, добавлен 07.07.2015 Математическая модель задачи оптимизации производства. Составление задачи двойственной к исходной. Транспортная задача с использование вычислительных средств Excel. Решение задачи о назначениях преподавателей на проведение занятий с заданными условиями.
контрольная работа, добавлен 16.06.2014Изучение основных принципов специальной теории. Рассмотрение постулатов новой теории пространства и времени. Характеристика предпосылок возникновения формулы Эйнштейна о взаимосвязи массы и энергии. Изучение аспектов общей теории относительности.
презентация, добавлен 09.12.2013Анализ аналитического определения обобщенного скалярного произведения векторов в данном n-мерном (векторном) пространстве. Изучение эквивалентности аналитического и аксиоматического определения скалярного произведения и всех рассматриваемых пространств.
дипломная работа, добавлен 10.04.2015Построение цепочки силлогизмов для создания доказательства, утверждающего истинность теоремы. Классификация теорем по логической структуре, характеристика необходимых и достаточных условий. Существующие системы аксиом, предъявляемые к ним требования.
презентация, добавлен 15.02.2012- 123. Основы теории графов
Основные понятия и определение графа. Степень вершины графа. Особенности и свойства подграфа, пути, цепи и цикла. Характеристика связных графов. Анализ теоремы об оценке числа рёбер несвязного графа. Сущность понятий "дерево графа" и "лес графа".
методичка, добавлен 15.10.2016 Анализ условий уравнения с независимыми переменными в конечной односвязной области. Значения функции в задаче Трикоми, освобождение от краевого условия и его эквивалентная замена нелокальным условием со смешением. Основные методы доказательства теоремы.
реферат, добавлен 15.06.2015- 125. Теория графов
История возникновения, сущность, основные понятия, виды, способы задания и характеристики вершин теории графов. Доказательство теоремы Эйлера об эйлеровых графах (критерия эйлеровости графа). Алгоритм решения задач изоморфизма. Понятие дерева и леса.
лекция, добавлен 11.02.2010