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

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

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

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

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

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

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

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

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

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

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

С новым учебным годом!

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

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

Занятие 25 апреля. Видео

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

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

Занятие 11 апреля. Видео

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

Занятие 28 марта. Видео, контрольная, учебник

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

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