Информационная система "Конференции"

Тезисы докладов

Нынешнее направление развития систем компьютерной алгебры определяется повышением интеллектуальности систем. Оно поддерживается работами по абстрактным типам данных и искусственному интеллекту. Применяемые подходы предполагают манипулирование знаниями в концептуальном смысле, а не только манипулирования формулами. Такая система основывается на знаниях и использует методы искусственного интеллекта, методы хранения и поиска знаний.

Системы компьютерной алгебры используются как для профессиональной подготовки программистов, так и активный инструмент при преподавании общих математических курсов. В рамках применения систем компьютерной алгебры в НГУ несколько лет читается спецкурс "Системы и языки компьютерной алгебры", который включает в себя рассмотрение архитектуры систем, организацию внутренних структур данных и базовых алгебраических алгоритмов компьютерной алгебры. Рассматривается опыт построения первых систем, включая такие отечественные разработки как АНАЛИТИК, АУМ, и другие, так и наиболее значимые зарубежные системы такие как REDUCE, MAPLE и MATHEMATICA. Появление развитых систем компьютерной алгебры требует значительной переориентации учебного процесса. Преподавание многих учебных курсов может стать значительно эффективнее, если активно использовать возможности автоматического проведения трудоемких алгебраических выкладок. Использование систем поддержки математических исследований, в широкий круг которых входят системы компьютерной алгебры, весьма желательно как при изучении общих математических курсов, так и при подготовке студентов специализирующихся по информатике.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: 06-Jul-2012 (11:45:15)