Почему «Компьютер Ершова» учит: дидактика курса

Зачем понимать железо

Программу в школе часто преподают как текст: переменные, циклы, функции. При таком подходе компьютер может остаться «чёрным ящиком», который почему-то исполняет код: ученик умеет писать программы, но не представляет, как процессор выполняет инструкции и какую роль играют регистры, тактирование и шины. Пробел даёт о себе знать там, где начинается архитектура ЭВМ, — и разбираться в ней приходится без опоры.

Название курсу дала мысль академика Андрея Петровича Ершова о программировании как «второй грамотности», обязательной для каждого образованного человека. Мы развиваем эту идею в направлении понимания устройства вычислительной техники: прежде чем изучать компьютер как готовую систему, ученик знакомится с логическими элементами, памятью и принципами построения процессора. О том, откуда взялся проект и почему он носит имя Ершова, рассказано на странице «О проекте»; здесь речь о другом — о том, как именно устроено обучение.

Вторая опора курса — конструкционизм Сеймура Пейперта (книга «Mindstorms», 1980): человек строит ментальные модели надёжнее всего, когда конструирует во внешнем мире работающий, «публично значимый» объект — то, что Пейперт называл objects-to-think-with, «объекты, о которых можно думать». Ученик «Компьютера Ершова» не читает про сумматор — он собирает сумматор, и собранная схема дальше работает у него под рукой. Историческая деталь: Пейперт, ученик Пиаже и создатель языка Logo, переписывался и обсуждал машинное обучение школьников с академиком Ершовым — идея, что программирование становится второй грамотностью через собственные проекты, у них была общей.

Карта курса: четыре части и одна спираль

Курс состоит из 47 уровней в четырёх частях:

• Часть 1 (уровни 1–16), «Базовые схемы»: провода, вентили, сумматоры, шины и элементы памяти — от таблицы истинности к первому процессорному узлу, счётчику команд.
• Часть 2 (уровни 17–29), «Продвинутая архитектура»: от дешифратора к собственному 8-битному процессору и программам на ассемблере — до финального уровня «Змейка».
• Часть 3 (уровни 30–43): тот же материал на языке описания аппаратуры Verilog — текст вместо холста.
• Часть 4 (уровни 44–47): перенос проекта на реальную плату Tang Nano 9K. Сами уровни проходятся в браузере — периферия платы (кнопки, светодиоды) эмулируется на холсте; физическая плата нужна только для необязательного финального шага, сборки своего проекта в настоящем железе.

За этой последовательностью стоит идея спиральной программы Джерома Брунера. В книге «Процесс образования» (1960) он утверждал, что ключевую идею любого предмета можно представить ученикам разного возраста в доступной им честной интеллектуальной форме, а затем возвращаться к ней снова и снова, каждый раз на более глубоком уровне. В курсе спираль видна невооружённым глазом: сумматор сначала собирается из вентилей на холсте (уровни 6–8), потом встречается внутри АЛУ (уровни 13–14), потом описывается на Verilog (часть 3) — несколько заходов на одну и ту же схему с растущей глубиной.

Второе основание — зона ближайшего развития Льва Выготского (работы 1920–30-х годов): обучение работает, когда задача чуть сложнее того, что ученик может решить сам, но решаема с поддержкой. Само по себе постепенное усложнение — это дидактическая последовательность «от простого к сложному», известная со времён Коменского; вклад Выготского в другом: уровень считается посильным, если с подсказкой, схемой-образцом или разбором ошибки ученик доходит до решения, которое сам пока не нашёл. Заранее известна типичная длительность уровня, и программа курса (таймлайн всех 47 уровней) показывает, где какая тема появляется.

Механики курса и их основания

Дальше — одиннадцать механик, из которых складывается курс. Формат у каждой одинаковый: что делает механика, зачем она нужна и какой педагогический приём за ней стоит.

Инкрементальная сложность и открытие компонентов

Новые компоненты не выдаются списком: они открываются по мере прохождения, и каждый следующий уровень требует только того, что уже освоено. Это последовательность «от простого к сложному» — базовый дидактический приём, работающий как секвенсинг в геймдизайне. Отдельно работает и скаффолдинг («строительные леса», Вуд, Брунер и Росс, 1976): временные подпорки, которые выдаются по мере надобности и снимаются по мере роста навыка. В курсе это предсобранные части схемы на старте уровня, двухстадийные подсказки и шаблоны, которые от уровня к уровню исчезают. А когда ученик упаковывает собранную схему в чип и дальше пользуется им как готовым блоком, происходит другое: не снятие подпорок, а укрупнение единиц мышления (chunking) — инкапсуляция, снижающая когнитивную нагрузку.

Чипы: абстракция как инструмент

Собранную схему можно упаковать в чип — свой компонент с интерфейсом входов и выходов. Дальше курс настойчиво требует этой упаковки: при сборке процессора необходимо использовать созданные ранее чипы. Приём закрепляет главный инженерный навык — строить иерархию абстракций. Тот же приём работает в обратную сторону на уровнях 30+: когда схема описывается текстом на Verilog, ученик уже знает, что за текстом стоит набор вентилей, потому что он эти вентили соединял руками.

Концепт-чеки: прогноз, эксперимент, контрпример

После уровней курс задаёт вопросы на понимание трёх видов: выбор ответа, предсказание поведения схемы до её запуска и разбор сломанной схемы («break it»). Вместе с диагностикой ошибок при проверке это формирующее оценивание в строгом смысле (Black и Wiliam, «Inside the Black Box», 1998): оценка собирается непрерывно, внутри обучения, и служит для его подстройки, а не для отметки. Ядро концепт-чеков — приём Predict–Observe–Explain (White и Gunstone, сборник «Probing Understanding», 1992): ученик фиксирует прогноз поведения системы, потом наблюдает результат и объясняет расхождение, если оно случилось. Такой формат вскрывает заблуждения, которые незаметны в простом опросе. А задания, где ученик сам формулирует ответ, а не выбирает из готовых, опираются на эффект генерации (Slamecka и Graf, 1978): материал, добытый собственным выводом, запоминается прочнее выданного в готовом виде.

Калибровочный прогноз до проверки

Перед первой проверкой схемы курс просит оценить, пройдёт она тесты или нет. Это упражнение в метакогниции: исследования самооценок обучения, которыми занимается Джон Данлоски с соавторами, показывают, что уверенность ученика часто расходится с реальным состоянием дел, а точность таких самооценок — отдельный навык. Самый наглядный урок здесь — сопоставление уверенности («схема верна») с вердиктом тестов («найдено короткое замыкание»): прогноз и результат проверки видно рядом, и расхождение невозможно не заметить.

Двухстадийные подсказки и сократический ИИ-наставник

Подсказка работает в два нажатия: первый — намёк на направление, второй — конкретный шаг. ИИ-наставник отвечает наводящими вопросами, а не готовым решением, и переходит к прямым ответам только после серии неудач. Курс старается сохранить баланс между самостоятельным поиском решения и своевременной поддержкой: в метаанализе Джона Хэтти «Visible Learning» (2009) обратная связь — один из факторов с высоким размером эффекта, но и здесь важна мера: сплошная раздача решений снимает задачу с ученика, а молчание оставляет его с ней наедине. Подсказка держит этот баланс.

Авто-помощь после 3 и 7 неудач

Если проверка провалилась трижды, курс предлагает разбор; после седьмой неудачи — более прямой. Здесь курс балансирует на грани, которую описывает продуктивная неудача (Ману Капур, работы 2010-х): собственные неудачные попытки перед разбором решения ускоряют последующее обучение — но лишь до предела, за которым борьба превращается в непродуктивную фрустрацию и когнитивную перегрузку (теория когнитивной нагрузки Джона Свеллера), а застрявший ученик просто бросает задачу. Пороги в 3 и 7 попыток — продуктовое решение с целью предложить поддержку до этой границы; то, насколько они удачны, видно по поведению учеников.

Вступления «Основы»

Перед несколькими уровнями предлагается короткое вступление: что за элемент, зачем он нужен, как он выглядит в реальном железе. Это предварительные организаторы Дэвида Озубеля (статья в Journal of Educational Psychology, 1960): рамка, которая даётся до нового материала и снижает нагрузку при его усвоении. Вступления необязательны и не открывают уровней — они дают предварительное представление о новом понятии, которое ученик затем проверяет на практике.

Платформер «Транзисторный забег»

После первых обучающих уровней открывается платформер, где та же логика отрабатывается в игровом мире: цепь от источника до двери собирается прямо во время забега, а пройденные вентили встречаются в виде комнат и механизмов. За мотивационной стороной стоит теория самодетерминации Ричарда Райана и Эдварда Деси (обзорная статья в American Psychologist, 2000): внутренняя мотивация держится на автономии, компетентности и связанности, и игровой формат может поддерживать первые две — насколько он действительно укрепляет мотивацию, зависит от реализации механик и опыта игроков. За содержательной — повторное обращение к пройденному: знакомые концепты встречаются в новой форме и новом контексте, что даёт ещё один заход на материал. Подробнее об игре — на странице «Транзисторный забег: об игре».

Входная диагностика

27 вопросов и 3 практических задания перед стартом; по итогам открывается стартовый уровень вплоть до 30-го. По жанру это диагностическое, или распределительное, оценивание (diagnostic / placement assessment): входной замер для выбора стартовой точки маршрута, а не отметка и не непрерывное сопровождение. Формирующее оценивание в строгом смысле — непрерывный процесс внутри обучения (его классическое описание — Black и Wiliam, «Inside the Black Box», 1998) — в курсе выполняют другие механики: концепт-чеки после уровней и диагностический отчёт при каждой проверке схемы. Диагностику можно пересдавать, и порог при этом не понижается — отбора здесь нет.

Профиль инженера, экономика и сертификаты

Пройденный уровень приносит ресурсы, профиль накапливает статистику и звания, каждая часть курса завершается сертификатом с публичной проверкой. Переход к следующим темам опирается на демонстрацию освоения текущих задач — идея мастер-обучения (модель Бенджамина Блума, 1968), только вместо календаря — автоматическая проверка. Профиль, звания, ресурсы и сертификаты дополнительно делают прогресс видимым и дают ученику внешние ориентиры: жетонная экономика (token economy) работает как оперантное подкрепление — система, описанная Берресом Скиннером, — а сертификат фиксирует пройденную часть курса и может пополнить портфолио.

Ошибки без наказания

Проваленная проверка не отнимает ничего: ни ресурсов, ни доступа, ни времени. Пересдавать можно сколько угодно, а отчёты об ошибках можно изучать. Такой подход согласуется с идеей развивающегося мышления, которую сформулировала Кэрол Двек в книге «Mindset» (2006): ошибка — информация для дальнейшего обучения, а не оценка способностей ученика. Технически это выражается в том, что любая попытка даёт полный диагностический отчёт — какие векторы не сошлись и где именно схема расходится с таблицей.

Как устроена проверка и учебная аналитика

Все перечисленные механики замыкаются на автоматическую проверку. В комбинационных схемах проверка может охватывать все допустимые комбинации входных сигналов, а не пару примеров. В уровнях с памятью, тактированием и процессором дополнительно проверяются поведение во времени, структура схемы (структурные чекпойнты — например, требование собрать счётчик команд именно на регистре) и результаты выполнения программы (результат сверяется с эталоном, одного успешного запуска мало). Проверка выдаёт диагностику: какой вектор не сошёлся, что схема делает вместо ожидаемого.

Тот же принцип продолжается и за пределами игры. Каждый уровень в программе курса снабжён измеримым результатом («соберёт полный сумматор с входом и выходом переноса»), типичным временем и уровнем сложности — это позволяет планировать занятия и видеть отклонения. Кабинет преподавателя собирает активность и результаты класса, ведёт аналитику по группам и выгружает ведомость в CSV; воронка прохождения курса по всем ученикам показывает, на каких уровнях возникают затруднения, и эти данные влияют на правки уровней. Как это выглядит на практике — в хабе для преподавателя.

Что почитать дальше

Эта страница отвечала на вопрос «почему курс работает». Смежные вопросы разобраны отдельно:

• «Методическое руководство» — как курс устроен технически: философия и секции курса, плата Ershov Board, программная среда, инструменты отладки, финальный проект.
• «В чём уникальность „Компьютера Ершова“» — позиционирование и развёрнутое сравнение с NandGame, Turing Complete, Nand2Tetris, CircuitVerse и HDLBits.
• Хаб для преподавателя — практика: быстрый старт, программа курса, методические карточки, кабинет и отчётность.
• Программа курса — таймлайн всех 47 уровней с темами, временем и результатами.