8332

Автор(ов): 

2

Параметры публикации
Тип публикации: 
Доклад
Название: 
Интеллектуальные обучающие системы, основанные на автоматическом доказательстве теорем: вопросы архитектуры
Наименование конференции: 
Конференция «Современные технологии - ключевое звено в возрождении отечественного авиастроения» (Казань, 2010)
Наименование источника: 
Труды конференции «Современные технологии - ключевое звено в возрождении отечественного авиастроения» (Казань, 2010)
Город: 
Казань
Издательство: 
Вертолет
Год издания: 
2010
Страницы: 
240-249
Аннотация
В последние десятилетия в мире появились интеллектуальные обучаю-щие системы, в том числе основанные на автоматическом доказательстве тео-рем, а также доступные он-лайн. Некоторые из них были коммерциализированы. Одним из лидеров является компания CarnegieLearning, продающая ИОС для изучения математики сотням школ в США. В России такие разработки ведутся пока еще в сравнительно небольших масштабах и зачастую не доходят до практического применения. В данной работе рассматриваются интеллектуальные обучающие системы с автоматическим доказательством теорем, их архитектуры, функциональные возможности и методы их реализации.
Библиографическая ссылка: 
Васильев С.Н., Смирнова Н.В. Интеллектуальные обучающие системы, основанные на автоматическом доказательстве теорем: вопросы архитектуры / Труды конференции «Современные технологии - ключевое звено в возрождении отечественного авиастроения» (Казань, 2010). Казань: Вертолет, 2010. С. 240-249.