Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
На третьей лекции будем заниматься формальным определением натуральных чисел и привычных операций над ними (то есть сложения и умножения). Выведем обычные свойства этих операций и наконец-то формально докажем, что 2+2=4.
В Кочерге идёт несколько лекций по теории множеств — одной из наиболее абстрактных наук, придуманных человечеством.
На третьей лекции будем заниматься формальным определением натуральных чисел и привычных операций над ними (то есть сложения и умножения). Выведем обычные свойства этих операций и наконец-то формально докажем, что 2+2=4.
Аксиоматическая теория множеств — это формальная теория, которая служит фундаментом для большинства существующих разделов математики. Через теорию множеств можно формально определить числа и операции над ними. Математический анализ, линейная алгебра, теория групп, колец и полей, теория чисел, теория вероятностей, многие разделы геометрии, комбинаторика, теория графов и теория алгоритмов — все это опирается на теорию множеств, когда речь заходит о формальных доказательствах чего-либо.
От слушателей ожидается умение записывать и читать утверждения с кванторами, а также владение базовыми понятиями мат. логики и дискретной математики.
Ведущий — Илья Мещерин.
Встреча пройдёт в среду 13 февраля, в 20:00, в антикафе Кочерга.