Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Богданов М.С. — Автоматизация проверки решения задачи по формальному описанию ее условия
Богданов М.С. — Автоматизация проверки решения задачи по формальному описанию ее условия



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Автоматизация проверки решения задачи по формальному описанию ее условия

Автор: Богданов М.С.

Аннотация:

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


Язык: ru

Рубрика: Computer science/

Тип: Статья

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 7

Добавлена в каталог: 04.11.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте