Дискретная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Дискретная математика, 1994, том 6, выпуск 4, страницы 35–57 (Mi dm654)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Система автоматического решения задач по элементарной алгебре

А. С. Подколзин
Аннотация: В работе [1] была изложена общая схема организации баз приемов, используемых при автоматическом решении задач, приведены общелогические приемы решения задач и приемы решения задач по алгебре множеств, заложенные в процедуру автоматического решения задач. Развитие этой общей схемы позволило создать усиленный вариант решателя, обеспечивающий решение задач практически по всем разделам элементарной алгебры, тригонометрии и ряду разделов дифференциального исчисления. В настоящее время достигнут уровень 80–90% числа решаемых задач по распространенным сборникам задач из таких разделов, как упрощение выражений, решение систем уравнений и неравенств, доказательство тождеств и неравенств, вычисление пределов и производных. Этот уровень постоянно повышается в процессе обучения решателя. В настоящей статье содержится схематическое описание алгоритмического языка, разработанного для ускоренной записи приемов решателя, излагаются общие принципы создания приемов, использованные при обучении решателя, и приводятся примеры таких приемов.
Статья поступила: 28.01.1993
Реферативные базы данных:
УДК: 519.7
Образец цитирования: А. С. Подколзин, “Система автоматического решения задач по элементарной алгебре”, Дискрет. матем., 6:4 (1994), 35–57; Discrete Math. Appl., 4:6 (1994), 561–578
Цитирование в формате AMSBIB
\RBibitem{Pod94}
\by А.~С.~Подколзин
\paper Система автоматического решения задач по элементарной алгебре
\jour Дискрет. матем.
\yr 1994
\vol 6
\issue 4
\pages 35--57
\mathnet{http://mi.mathnet.ru/dm654}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1318555}
\zmath{https://zbmath.org/?q=an:0937.68531}
\transl
\jour Discrete Math. Appl.
\yr 1994
\vol 4
\issue 6
\pages 561--578
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/dm654
  • https://www.mathnet.ru/rus/dm/v6/i4/p35
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Дискретная математика
    Статистика просмотров:
    Страница аннотации:963
    PDF полного текста:429
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024