Занятие 24 октября. Видео

Разбор задач предыдущей контрольной работы:

На шестом занятии рассмотрены: Теорема Кантора-Шредера-Бернштейна. Теорема Кантора. Конечные и бесконечные множества. Критерий Дедекинда.

Занятие 10 октября. Контрольная и видео

Вернулся с конференции и выкладываю, наконец, контрольную к пятому занятию. Смотрите результаты проверки.

Сегодня(17 октября) занятия не будет. Но мы должны успеть всё наверстать за оставшиеся недели.

На пятом занятии рассмотрены: бинарные отношения, функции (инъекции, сюръекции, биекции), образы и прообразы множеств, основные свойства образов множеств относительно операций над множествами.

Занятие 26 сентября. Контрольная и видео

Выкладываю контрольную к третьему занятию. Смотрите результаты проверки.

На четвертом занятии рассмотрены: натуральные числа, счетная индукция и рекурсия, арифметика, а также способы построения множеств целых, рациональных и действительных чисел.

Занятие 19 сентября. Контрольная и видео

Выкладываю контрольную ко второму занятию. Смотрите результаты проверки.

На третьем занятии рассмотрены: диаграммы Эдвардса-Венна. Упорядоченная пара (по Куратовскому, по Винеру). Декартово произведение. Малые и большие проекции. Задачи.

Занятие 12 сентября. Контрольная и видео

Выкладываю контрольную к первому занятию.

На втором занятии рассмотрены: аксиомы ZFC (экстенсиональности, множества-степени, множества-суммы, подстановки, бесконечности, фундирования, выбора) и их прямые следствия: ограниченное выделение, пустое множество, неупорядоченная пара; синглетон, объединение, пересечение, разность и производные от них.

Занятие 5 сентября. Видео

Введение и основные понятия. Аксиома экстенсиональности. Неразличимость множеств, состоящих из одинакового набора элементов. Парадокс Рассела и его обсуждение.