Электронный каталог

Электронный ресурс (аналит. описание)

Богданов, Михаил Сергеевич.
Автоматизация проверки решения задачи по формальному описанию ее условия [Электронный ресурс ] / М. С. Богданов // Компьютерные инструменты в образовании. - 2006.- № 4 / Гл. ред. С. Н. Поздняков и др. – Санкт-Петербург : Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И. Ульянова, 2006. – С. 51-57. – Режим доступа : https://www.elibrary.ru/item.asp?id=15256182 (дата обращения: 14.10.2024). – Для авторизованных пользователей с ПК МПГУ. – На рус. яз. – Описанная в статье система (Конструктор комбинаторных коллекций) представляет собой прототип нового программно-педагогического средства, позволяющего автору ставить новую математическую задачу перед членами некоторого общего информационного пространства. При этом автор может не знать решения поставленной задачи, а система позволяет проверить правильность найденного решения, как членами сообщества, так и самим автором. Таким образом, среда ККК даёт новые возможности для конструирования общих образовательных информационных пространств.

2006

педагогика = педагогика
техника = техника : вычислительная техника : программное обеспечение компьютерных сетей
основной = ЭБС elibrary.ru