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

Поздравляю всех студентов и коллег с наступлением нового учебного года.

В планах на осенний семестр у нас — полностью переписать и актуализировать курс по теории множеств, поэтому вновь еженедельно здесь будут выкладываться обновления. Держим связь!

Рассмотрены вопросы: порождение множества структур данного рода, синтез родов структур, непротиворечивость синтезированного рода структуры.

На этом курс по родам структур окончен. Всем спасибо за внимание!

Рассмотренные вопросы: Выводимость и эквивалентность родов структур. Примеры. Эквивалентная представимость рода структуры с помощью заданной типовой характеристи.

Всем привет, в этот раз много всего.

1. Видео с занятия выкладываю только первые 20 минут. Остальной материал этого занятия был гораздо качественнее записан год назад в БХА видеостудией «Пульсар», я публикую его отдельным роликом.
2. Все онлайн-материалы по курсу этого семестра теперь публикуются на сводной странице.
3. Не забываем про оценки за контрольные работы.
4. Учебник и список опечаток обновлены.