Наши издания
Генерация математических задач и верификация решений в автоматизированных системах поддержки обучения.Рассматривается проблема работы с задачами в электронных системах обучения. Предложены три направления для конструирования дидактической среды на основе модели предметной среды: генерация задач на основе перехода к параметрическим классам задач с использованием скриптового языка, связывающего систему генерации с системами компьютерной верстки и компьютерной алгебры; верификация решений задач, сформулированных для параметрических классов, на множестве примеров и верификация решений задач, записанных средствами предметной среды, на условиях задач, записанных на предметно-ориентированном языке. Предназначено инженерам, занимающимся разработкой электронных систем обучения, преподавателям, использующим информационные технологии в учебном процессе, и студентам, обучающимся по специальностям, связанным с автоматизацией процессов в области образования. Санкт-Петербург 2012 г. |
ISBN 978-5-7629-1265-5 УДК 378:004.3 ББК З 973.236 |