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

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

Результаты контрольных весной 2016 публикуются здесь.

Выкладываю задания контрольной работы и видео с занятия 21 марта.

Рассмотрены критерии биективной переносимости (теоремы Бурбаки).

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

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