Аксиоматический метод

Исторический процесс развития взглядов на существо математики как науки, основные этапы формирования аксиоматического метода. Теории групп, множеств, отображений и конгруэнтности (равенства) отрезков. Основные аксиоматические теоремы и их доказательства.

Подобные документы

  • Формулирование и доказательство великой теоремы Ферма методами элементарной алгебры с использованием метода замены переменных для показателя степени n=4. Необходимые условия решения уравнения. Отсутствие решения теоремы в целых положительных числах.

    творческая работа, добавлен 17.10.2009

  • Попытка доказательства частного случая великой теоремы Ферма. Преобразования уравнения xn+yn=zn, позволяющие получить квадратное уравнение. Показано, что вышеназванное равенство для трех действительных разных целых положительных чисел не выполняется.

    монография, добавлен 27.12.2012

  • Принципы решения задач по основным разделам теории вероятностей: случайные события и их допустимость, непроизвольные величины, распределения и числовые характеристики градировки, основные предельные теоремы для сумм независимых вероятностных величин.

    контрольная работа, добавлен 03.12.2010

  • Определение и основные свойства конечных групп с условием плотности для F-субнормальных подгрупп. Общие свойства, использующиеся для изучения строения конечных групп с плотной системой F-субнормальных подгрупп. Особенности развития теории формаций.

    курсовая работа, добавлен 02.03.2010

  • Понятие и основные характеристики пространства Соболева, их главные свойства, сущность простейшей теоремы вложения. Порядок применения пространства Соболева для доказательства существования и единственности обобщённого решения уравнения Лапласа.

    курсовая работа, добавлен 12.10.2009

  • Множество как ключевой объект математики, теории множеств и логики. Операции над множествами, числовые последовательности. Множества действительных чисел. Бесконечно малые и большие функции. Непрерывность функции в точке. Свойства непрерывных функций.

    лекция, добавлен 25.03.2012

  • Основные этапы и принципы решения системы линейных уравнений с помощью метода Крамара, обратной матрицы. Разрешение матричного уравнения. Вычисление определителя. Расчет параметров пирамиды: длины ребра, площади грани, объема, а также уравнения грани.

    контрольная работа, добавлен 06.09.2015

  • Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.

    лекция, добавлен 01.12.2009

  • Общее понятие теоремы Эйлера, этапы ее доказательства. Необходимые и достаточные условия существования эйлерова цикла. Сущность задачи о построении каркаса куба. Алгоритм Флери построения эйлерова цикла. Обход полуэйлерова графа с нечетной вершины.

    презентация, добавлен 12.04.2014

  • Методы решения систем линейных алгебраических уравнений, их характеристика и отличительные черты, особенности и сферы применения. Структура метода ортогонализации и метода сопряженных градиентов, их разновидности и условия, этапы практической реализации.

    курсовая работа, добавлен 01.10.2009

  • Понятие окружности и круга, основные теоремы и свойства. Касание прямой и окружности, случаи их взаимного расположения. Вписанные и описанные фигуры. Относительное положение двух окружностей. Свойства хорд и расстояние до них. Определение длин и площадей.

    презентация, добавлен 16.04.2012

  • Математическая теория нечетких множеств и нечеткая логика как обобщения классической теории множеств и классической формальной логики. Сферы и особенности применения нечетких экспертных систем. Анализ математического аппарата, способы задания функций.

    презентация, добавлен 17.04.2013

  • Биография немецкого математика А. Гурвица. Основные положения теоремы Ферма. Обзор систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Приложение теоремы Гурвица: теоремы Фробениуса и Лагранжа.

    курсовая работа, добавлен 25.05.2010

  • Определение и этапы доказательства теоремы Штольца, ее теоретическое и практическое значение в прикладной математике, применение. Понятие предела последовательности, характерные примеры вычисления пределов последовательности с подробным разбором решения.

    курсовая работа, добавлен 28.02.2010

  • Доказательство первой, второй и третей теоремы Силова. Описание групп порядка pq. Смежные классы по подгруппе и теорема Лагранжа. Классы сопряженных элементов. Нормализатор множества в группе. Теоремы о гомоморфизмах. Примеры силовских подгрупп.

    курсовая работа, добавлен 21.04.2011

  • Математические модели явлений или процессов. Сходимость метода простой итерации. Апостериорная оценка погрешности. Метод вращений линейных систем. Контроль точности и приближенного решения в рамках прямого метода. Метод релаксации и метод Гаусса.

    курсовая работа, добавлен 13.04.2011

  • Основы теории многочленов от одной переменной. Определение и простейшие свойства многочленов Чебышева. Основные теоремы о многочленах Чебышева. Формальная производная многочлена. Рациональные корни нормированного многочлена с целыми коэффициентами.

    курсовая работа, добавлен 04.07.2015

  • История и основные этапы становления и развития основ теории вероятности, ее яркие представители и их вклад в развитие данного научного направления. Классификация случайных событий, их разновидности и отличия. Формулы умножения и сложения вероятностей.

    контрольная работа, добавлен 20.12.2009

  • Страницы биографии древнегреческого философа и математика Пифагора. Теорема Пифагора: основные формулировки и методы доказательства. Обратная теорема Пифагора. Примеры задач на применение теоремы Пифагора. "Пифагоровы штаны" и "тройка", "дерево Пифагора".

    научная работа, добавлен 29.03.2011

  • Изучение строения групп по заданным свойствам системы их подгрупп как направлениt в теории конечных групп. Обзор конечных групп с плотной системой F-субнормальных подгрупп в случаях, когда F - произвольная S-замкнутая формация p-нильпотентных групп.

    курсовая работа, добавлен 07.03.2010

  • Основные производственные фонды как объект статистического изучения. Система показателей, характеризующих основные производственные фонды. Главные особенности применения индексного метода. Оценка статистической значимости коэффициента детерминации.

    курсовая работа, добавлен 09.06.2014

  • Знакомство с основными понятиями и формулами комбинаторики как науки. Методы решения комбинаторных задач. Размещение и сочетание элементов, правила их перестановки. Характеристики теории вероятности, ее классическое определение, свойства и теоремы.

    презентация, добавлен 21.01.2014

  • Евдокс Книдский как математик и астроном. Разработка им так называемого "метода исчерпывания" как основ теории пределов и базы для развития математического анализа. Сведения о Пифагоре, его роль как ученого и политического деятеля, величие Архимеда.

    реферат, добавлен 28.05.2010

  • Математическая теория нечетких множеств, история развития. Функции принадлежности нечетких бинарных отношений. Формирование и оценка перспективного роста предприятия оптовой торговли. Порог разделения ассортимента, главные особенности его определения.

    контрольная работа, добавлен 08.11.2011

  • Введение понятия переменной величины. Развитие интегральных и дифференциальных методов. Математическое обоснование движения планет. Закон всемирного тяготения Ньютона. Научная школа Лейбница. Теория приливов и отливов. Создание математического анализа.

    презентация, добавлен 20.09.2015

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.