25038

Автор(ы): 

Абдулов А. В. (ИПУ РАН, Лаборатория 17)
Суконнова А. А. (ИПУ РАН, Лаборатория 11) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

К АВТОМАТИЗАЦИИ РЕШЕНИЯ НЕКОТОРОГО КЛАССА УЧЕБНЫХ ЗАДАЧ АРИФМЕТИЧЕСКОГО ТИПА И ОЦЕНКА РЕШЕНИЙ ДЛЯ ДЕМОНСТРАЦИИ УЧЕНИКУ

Наименование конференции: 

  • 10-я Всероссийская школа-конференция молодых ученых «Управление большими системами» (УБС'2013, Уфа)

Наименование источника: 

  • Труды 10-й Всероссийской школы-конференции молодых ученых «Управление большими системами» (УБС'2013, Уфа)

Обозначение и номер тома: 

Т. 1

Город: 

  • Уфа

Издательство: 

  • УГАТУ

Год издания: 

2013

Страницы: 

106-109
Аннотация
В статье описывается стратегия поиска альтернативных решений учебных задач арифметического типа на основе исчисления позитивно-образованных формул. А также алгоритмизируются оценка решений, генерируемых решателем, и выбор "наиболее адекватного" из них для демонстрации ученику на основе модели его знаний.

Библиографическая ссылка: 

Абдулов А.В., Суконнова А.А. К АВТОМАТИЗАЦИИ РЕШЕНИЯ НЕКОТОРОГО КЛАССА УЧЕБНЫХ ЗАДАЧ АРИФМЕТИЧЕСКОГО ТИПА И ОЦЕНКА РЕШЕНИЙ ДЛЯ ДЕМОНСТРАЦИИ УЧЕНИКУ / Труды 10-й Всероссийской школы-конференции молодых ученых «Управление большими системами» (УБС'2013, Уфа). Уфа: УГАТУ, 2013. Т. 1. С. 106-109.