Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/107539
Дата изменения: Unknown
Дата индексирования: Wed Apr 13 00:25:41 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Автоматизация проверки решения задачи по формальному описанию ее условия
Автор: Богданов М.С.
Аннотация:
Описанная в статье система (Конструктор комбинаторных коллекций) представляет собой прототип нового программно-педагогического средства, позволяющего автору ставить новую математическую задачу перед членами некоторого общего информационного пространства. При этом автор может не знать решения поставленной задачи, а система позволяет проверить правильность найденного решения, как членами сообщества, так и самим автором. Таким образом, среда ККК дает новые возможности для конструирования общих образовательных информационных пространств.