|
Дискретная математика, 1994, том 6, выпуск 4, страницы 35–57
(Mi dm654)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Система автоматического решения задач по элементарной алгебре
А. С. Подколзин
Аннотация:
В работе [1] была изложена общая схема организации баз приемов, используемых при автоматическом решении задач, приведены общелогические приемы решения задач и приемы решения задач по алгебре множеств, заложенные в процедуру автоматического решения задач. Развитие этой общей схемы позволило создать усиленный вариант решателя, обеспечивающий решение задач практически по всем разделам элементарной алгебры, тригонометрии и ряду разделов дифференциального исчисления. В настоящее время достигнут уровень 80–90% числа решаемых задач по распространенным сборникам задач из таких разделов, как упрощение выражений, решение систем уравнений и неравенств, доказательство тождеств и неравенств, вычисление пределов и производных. Этот уровень постоянно повышается в процессе обучения решателя. В настоящей статье содержится схематическое описание алгоритмического языка, разработанного для ускоренной записи приемов решателя, излагаются общие принципы создания приемов, использованные при обучении решателя, и приводятся примеры таких приемов.
Статья поступила: 28.01.1993
Образец цитирования:
А. С. Подколзин, “Система автоматического решения задач по элементарной алгебре”, Дискрет. матем., 6:4 (1994), 35–57; Discrete Math. Appl., 4:6 (1994), 561–578
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm654 https://www.mathnet.ru/rus/dm/v6/i4/p35
|
Статистика просмотров: |
Страница аннотации: | 963 | PDF полного текста: | 429 | Первая страница: | 1 |
|