История
in Конспекты по геометрии
as доказательство, Конспекты по геометрии, лекции, теорема
Традиционно считается, что родоначальниками геометрии как систематической науки являются древние греки, перенявшие у египтян ремесло землемерия и измерения объёмов тел и превратившие его в строгую научную дисциплину. При этом античные геометры от набора рецептов перешли к установлению общих закономерностей, составили первые систематические и доказательные труды по геометрии. Центральное место среди них занимают составленные около 300 […]
Теория множеств Кантора
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Во второй половине XIX века немецкий математик Георг Кантор разработал свою программу стандартизации математики, в рамках которой любой математический объект должен был оказываться тем или иным «множеством». Этот подход изложен в двух его статьях, опубликованных в 1879—1897 годах в известном немецком журнале «Математические анналы» (нем. «Mathematische Annalen»).[1] Например, натуральное число, по Кантору, следовало рассматривать как […]
Аксиоматическая теория множеств
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
В начале XX века Бертран Рассел, изучая канторовскую теорию множеств, пришел к парадоксу (с тех пор известному как парадокс Рассела). Таким образом, была продемонстрирована несостоятельность этой теории множеств и связанной с ней канторовской программы стандартизации математики. После обнаружения антиномии Рассела часть математиков (например, Л. Э. Я. Брауэр и его школа) решила полностью отказаться от использования […]
Исторический очерк
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Идея записывать общие свойства чисел и вычислительные алгоритмы на особом символическом метаязыке появилась давно, однако первоначально буквенные символы в уравнениях обозначали только неизвестные, значения которых следует найти, а для прочих членов уравнения записывали конкретные числовые значения. Мысль о том, что известные величины (коэффициенты) тоже полезно для общности обозначать символами, пробивала себе путь медленно. Впервые, насколько […]
Теория графов
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Теория графов — раздел дискретной математики, изучающий свойства графов. В общем смысле граф представляется как множество вершин (узлов), соединённых рёбрами. В строгом определении графом называется такая пара множеств G=(V,E), где V есть подмножество любого счётного множества, а E — подмножество V?V. Теория графов находит применение, например, в геоинформационных системах (ГИС). Существующие или вновь проектируемые дома, […]
Возникновение теории алгоритмов
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Развитие теории алгоритмов начинается с доказательства К. Гёделем теорем о неполноте формальных систем, включающих арифметику, первая из которых была доказана в 1931 г. Возникшее в связи с этими теоремами предположение о невозможности алгоритмического разрешения многих математических проблем (в частности, проблемы выводимости в исчислении предикатов) вызвало необходимость стандартизации понятия алгоритма. Первые стандартизованные варианты этого понятия были […]
Современное состояние теории алгоритмов
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
В настоящее время теория алгоритмов развивается, главным образом, по трем направлениям. Классическая теория алгоритмов изучает проблемы формулировки задач в терминах формальных языков, вводит понятие задачи разрешения, проводит классификацию задач по классам сложности (P, NP и др.). Теория асимптотического анализа алгоритмов рассматривает методы получения асимптотических оценок ресурсоемкости или времени выполнения алгоритмов, в частности, для рекурсивных алгоритмов. […]
Классы сложности
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
В рамках классической теории осуществляется классификация задач по классам сложности (P-сложные, NP-сложные, экспоненциально сложные и др.). К классу P относятся задачи, которые могут быть решены за время, полиномиально зависящее от объёма исходных данных, с помощью детерминированной вычислительной машины (например, машины Тьюринга), а к классу NP — задачи, которые могут быть решены за полиномиально выраженное время […]
Аксиоматика теории множеств
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Cовременная теория множеств строится на системе аксиом — утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело—Френкеля (ZF) является стандартной системой аксиом для теории множеств. Эта и подобные ей системы аксиом любопытны потому, что любая математическая теория может быть «переведена» на язык теории множеств таким образом, что теоремы […]
Парадоксы теории множеств
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Парадоксами теории множеств называют рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как парадокс Бурали-Форти (1897) парадокс Кантора (1899) парадокс Рассела (1905) рассуждения, результат которых интуитивно кажется ложным или «парадоксальным», но которые, тем не менее, являются следствием аксиом формальной теории множеств, включая: предложенный Б. Расселом «парадокс Тристрама Шенди», демонстрирующий нарушение принципа «часть меньше целого» для бесконечных […]