• 15 мая, среда
  • Москва, ул. Большая Дорогомиловская, д.5к2

Курс по теории множеств

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

125 дней назад
15 мая c 20:00 до 22:00
Москва
ул. Большая Дорогомиловская, д.5к2

Продолжаются встречи курса по теории множеств. На ближайшей встрече закончим доказательство теоремы Цермело, начатое в прошлый раз, и тем самым докажем, что любые два множества сравнивы по мощности. После этого перейдем к обсуждению леммы Цорна — еще одного утверждения, эквивалентного аксиоме выбора. С помощью нее будем доказывать теорему Тарского: любое бесконечное множество равномощно своему декартову квадрату.

Продолжаются встречи курса по теории множеств. На ближайшей встрече закончим доказательство теоремы Цермело, начатое в прошлый раз, и тем самым докажем, что любые два множества сравнивы по мощности.

После этого перейдем к обсуждению леммы Цорна — еще одного утверждения, эквивалентного аксиоме выбора. С помощью нее будем доказывать теорему Тарского: любое бесконечное множество равномощно своему декартову квадрату.


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

От слушателей ожидается умение записывать и читать утверждения с кванторами, а также владение базовыми понятиями мат. логики и дискретной математики.

Ведущий — Илья Мещерин.


Встреча пройдёт в среду 15 мая, в 20:00, в антикафе Кочерга.

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше