Курс "Дескрипционные логики" от Лёши Головко, ЛЭШ-2014. Правильно ли я написал название?
Линейная алгебра от Аси, ЛЭШ-2014
Отчёт о курсе Паши Попова про флаги (по сути, получилось продолжение линейной алгебры с некоторым уклоном в теорию
представлений колчанов)
Производящие функции в комбинаторике, Серёжа Довгаль. К сожалению, на данный момент исходников нет (они великолепны), а только
pdf-ка с задачами. Исходники будут позже.
Задачи про матиндукцию от Юли Чудаковой. Курс читался на втором цикле "биологом" для маленьких математиков
Пара интересных факультативов от Серёжи Довгаля. Из материалов к ним только аннотации.
Курсы про теорию множеств и про матиндукцию, ЛЭШ-2013