От команды к новому состоянию: выполни по шагам, найди отказ и докажи, что алгоритм решает задачу.
Формальный исполнитель не понимает намерение автора. Для каждого шага известны среда, текущее состояние и система команд. Команда либо переводит исполнителя в новое состояние, либо неприменима и вызывает отказ.
Объект, который выполняет команды буквально. Автор алгоритма выбирает команды, исполнитель не догадывается.
СКИ задаёт допустимые команды, параметры и точный смысл каждой операции.
Перед действием проверяется, разрешён ли переход в текущей среде.
Отсутствие отказа ещё не означает успех: после выполнения должна быть достигнута цель задачи.
Робот стоит в центральной верхней клетке. Справа от него красная стена. Выполни команду «вправо» и наблюдай формальный результат.
вправоИсполнитель проверит применимость команды перед изменением состояния.
Стены на рёбрах клеток, цель, закраска, синтаксическая ошибка, логическая ошибка и первый отказ.
32.2 · общий алгоритмШкольный алгоритмический язык в КуМир, датчики среды, нц … кц, если … все и скрытые тестовые среды.
32.3 · координатная плоскостьТочные координаты, математический курс, перо, повторения, многоугольники и автомасштаб.
32.4 · закрепление10 вопросов из банка: одна попытка, немедленный разбор и воспроизводимый ID.
32.5 · контроль8 минут, четыре варианта ответа и визуальные задачи без подсказки о правильности до завершения.
Глава формирует базовые навыки, но тематическая диагностика не называется полным вариантом ОГЭ или ЕГЭ.
Условия среды, циклы, закрашивание и программа, работающая во всех допустимых положениях.
Координаты, повторения, замкнутые фигуры и анализ результата на плоскости.
Выполнение цепочки команд и восстановление исходного значения переходят к числовым автоматам.
Ручное и компьютерное выполнение, преобразование записи, разработка и отладка алгоритма.