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

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

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

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

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

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

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

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


Занятие 15 марта. Видео

Начался курс занятий по теме «роды структур Бурбаки». К сожалению, первый блин вышел немного комом и возникли проблемы с микрофоном, поэтому качество звука не очень.

Рассмотренные вопросы: Введение. Схема конструкции ступени. Ступень, М-граф. Канонические распространения функций по схеме конструкции ступени. Теорема об основных свойствах канонических распространений. Перенос соотношений и термов.

Интересное видео

Пока идут праздники, горячо рекомендую посмотреть это весёленькое видео на YouTube с красивой анимацией и подробными объяснениями.

Помимо парадокса Банаха-Тарского, великолепно продемонстрированы «Гильбертова гостиница» и диагональный метод Кантора — кому-то может пригодиться, если до сих пор было плохо понятно.

Единственное упущение: они не заострили внимание, что парадокс Банаха-Тарского существенным образом зависит от аксиомы выбора.

Экзамен зима-2015

Уважаемые студенты,

всех поздравляю с наступающими новогодними праздниками! Публикую перечень вопросов к экзамену, а также рекомендую заглянуть на актуализированную страницу «указания для подготовки».

Ваши домашние работы у меня, результаты контрольных в течение семестра — здесь, выйдем на связь в начале года!

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

Выкладываю видео с понедельничного занятия.

Разбор задач из контрольной:

Теорема о квадрате. Мощность суммы и декартова произведения множеств. Конфинальность. Теорема Кёнига. Возведение в степень для кардиналов в системе с обобщённой континуум-гипотезой:

Осенняя часть курса закончена, всем спасибо за внимание :-)!

Объявление

Уважаемые студенты,

занятие в понедельник 7 декабря отменяется. Оставьте на кафедре контрольные работы, и я на неделе смогу их забрать и проверить к занятию 14 декабря.

14 декабря будет последняя лекция. Приносите тогда же тетради с домашним заданием.