Наши издания

Генерация математических задач и верификация решений в автоматизированных системах поддержки обучения.

Авторы: С. Н. Поздняков, Д. И. Манцеров, В. О. Перчёнок, И. А. Посов, А. Ф. Пухов, С. Е. Рукшин.

Рассматривается проблема работы с задачами в электронных системах обучения. Предложены три направления для конструирования дидактической среды на основе модели предметной среды: генерация задач на основе перехода к параметрическим классам задач с использованием скриптового языка, связывающего систему генерации с системами компьютерной верстки и компьютерной алгебры; верификация решений задач, сформулированных для параметрических классов, на множестве примеров и верификация решений задач, записанных средствами предметной среды, на условиях задач, записанных на предметно-ориентированном языке.

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

Санкт-Петербург 2012 г.

ISBN 978-5-7629-1265-5

УДК 378:004.3

ББК З 973.236