Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 3, для научной тематики: Символьные вычисления


1.

К автоматизированной проверке решений одного класса задач в следящих интеллектуальных обучающих системах (публикация автора на scipeople)     

Смирнова Н.В. , 2014
Рассматриваются обучающие программы, обеспечивающие интерактивную поддержку процесса решений задач предметов естественнонаучного цикла и их автоматизированную оценку. Описывается алгоритм выявления зависимостей между формулами, посредством которых представляются сведения об известных решениях учебно...
2.

Алгоритм выявления зависимостей между формулами при проверке решений студентов в следящих интеллектуальных обучающих системах (публикация автора на scipeople)     

Смирнова Н.В. , 2014
Рассматриваются обучающие системы, обеспечивающие автоматизированную проверку решений задач предметов естественно-научного цикла. Предлагается алгоритм выявления зависимостей между «базовыми» формулами, на основе которых в режиме реального времени генерируются известные решения учебной за-дачи и фор...
3.

Применение инструментов символьных вычислений для проверки решений задач из курсов для конструкторов и технологов в интеллектуальной обучающей веб-системе "волга" (публикация автора на scipeople)   

Смирнова Н.В. Душкин Д.Н. , 2012
-...