Аксиоматическая теория множеств — это формальная теория, которая служит фундаментом для большинства существующих разделов математики. Через теорию множеств можно формально определить числа и операции над ними. Математический анализ, линейная алгебра, теория групп, колец и полей, теория чисел, теория вероятностей, многие разделы геометрии, комбинаторика, теория графов и теория алгоритмов — все это опирается на теорию множеств, когда речь заходит о формальных доказательствах чего-либо. На первой встрече мы сформулируем стандартные аксиомы (называемые аксиомами Цермело-Френкеля, или ZF), подробно обсудим каждую и выведем простые следствия из них. От слушателей ожидается умение записывать и читать утверждения с кванторами, а также владение базовыми понятиями мат. логики и дискретной математики. Ведущий — Илья Мещерин.
https://vk.com/kocherga_math?w=wall-1...
