матшкола co_math

Еще пара хороших комбинаторных задач.

Кит 3 (специализация) Кристиан Кассель "Квантовые группы". Это уже не просто обучение. Это точка входа в научную работу. О чем книга. Квантовые группы — это объекты, которые обобщают: группы Ли алгебры Ли алгебры Хопфа Но с ключевым поворотом: симметрия становится некоммутативной и деформированной. Формально это алгебры Хопфа, связанные с решением уравнения Янга–Бакстера и квантованием классических структур (например, алгебр Ли и их универсальных обертывающих алгебр). Книга не просто вводит опре...

Здравствуйте! Продолжаю. С Димой (9 класс), в числе прочего, долго шлифовали алгоритмы и изучали различные языки программирования (haskell, c/c++, python, немного rust, scala и даже brainfuck (официальное название)). Также долго погружались в формальную верификацию математики на coq, idris2, agda (и немного учили теорию типов), как писал выше - не исчключено что когда-то к этому вернемся (гомотопическая теория типов все еще интересует). Сейчас решили полностью отказаться от программирования по т...

Кит 2. "Advanced Modern Algebra" by Joseph J. Rotman (это другое издание, чем то, по которому мы идем, поэтому нумерация задач на наших фото отличается). Это входная дверь в современную алгебру. Здесь происходит ключевой переход: от «группы, кольца, поля» → к мышлению через структуры и отображения. О чем книга. группы и их действия кольца (коммутативные и нет) модули как центральный объект теория Галуа представления групп гомологическая алгебра элементы категорий Но главное — это не набор тем, а...