Автор предлагает выдержки из методических разработок к урокам информатики в начальной школе. При этом используется система формальных преобразований в среде упрощенной машины Поста.
Статья находится в закрытом доступе.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.