Здравствуйте! Продолжаю. С Димой (9 класс), в числе прочего, долго шлифовали алгоритмы и изучали различные языки программирования (haskell, c/c++, python, немного rust, scala и даже brainfuck (официальное название)). Также долго погружались в формальную верификацию математики на coq, idris2, agda (и немного учили теорию типов), как писал выше - не исчключено что когда-то к этому вернемся (гомотопическая теория типов все еще интересует). Сейчас решили полностью отказаться от программирования по той причине, что дальнейшее погружение Дима, если это ему понадобится, совершенно точно освоит и сам. Наша же первоочередная задача - углублять мышление и расширять спектр. _ Отступление. В этой связи стоит упомянуть занятия под руководством Егора. Они становятся явно ориентированы на серьезное погружение в компьютерные технологии: низкоуровневое программирование, изучение основных языков программирования (и в т.ч. функционального программирования) дискретная математика, алгоритмы. Соответственно программе КТ ИТМО, где Егор учится. _ Здесь и сейчас и в ближайшем будущем обучение Димы построено на трех китах: 1. Олимпиадная математика. Мы решаем задачи с регионального и финального этапов Всероссийской олимпиады. Абстрактная математика (в плане тем) почти не пересекается с олимпиадной, но для дальнего плавания во второй из них лучше не иметь пробелов. Кроме того, методы часто являются довольно изощренными (нужно знать (и ПОНИМАТЬ) довольно много материала и уметь строить, иногда очень длинные, цепочки рассуждений), а значит их постижение в полной мере соответствует основной нашей задаче. Также что касается комбинаторики (в олимпиадной математике), то она фактически граничит с "научной" комбинаторикой. Дима оформляет задачи (как по олимпиадной математике, так и по другим нашим с ним интересам) в LaTex. Это нужно по причинам: 1. Это исключает «пробелы» в рассуждениях: при записи решения в LaTeX приходится явно фиксировать каждый шаг, что "вынуждает" доводить понимание до конца. 2. Формируется навык строгого математического мышления: письменное оформление заменяет «рукомахание» и интуитивные скачки, неизбежные при устной сдаче. 3. LaTeX — стандарт де-факто в научной среде: так оформляются статьи и студенческие проекты, поэтому это полезный навык на будущее. На фото Димины решения. 2 и 3 киты - в следующих сообщениях.