АВТОМАТИЗИРОВАННАЯ СИСТЕМА ДЛЯ ОБУЧЕНИЯ АНАЛИЗУ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ АЛГОРИТМОВ

  • Вадим Сергеевич Рублев Ярославский государственный университет им. П.Г. Демидова
  • Мурад Теймурович Юсуфов Ярославский государственный университет им. П.Г. Демидова

Abstract

Исследуются вопросы построения автоматизированной обучающей системы «Анализ сложности алгоритмов», которая позволит учащемуся освоить сложный математический аппарат и развить логико-математическое мышление в этом направлении. Вводится технология символьной прокрутки алгоритма, позволяющая получать верхние и нижние оценки вычислительной сложности. Приводятся утверждения, облегчающие анализ в случае целочисленного округления параметров алгоритма, а также при оценке сложности сумм. Вводится нормальная система символьных преобразований, позволяющая, с одной стороны, делать учащемуся любые символьные преобразования, а с другой стороны – упростить автоматический контроль корректности таких преобразований.

Author Biographies

Вадим Сергеевич Рублев, Ярославский государственный университет им. П.Г. Демидова

кандидат физико-математических наук, профессор кафедры теоретической информатики 

Мурад Теймурович Юсуфов, Ярославский государственный университет им. П.Г. Демидова

аспирант кафедры теоретической информатики 

References

1. Ермилова А. В., Рублев В. С. Проблемы развития математического мышления учащихся на примере обучающей системы по курсу "Алгоритмы и анализ сложности" // Современные информационные технологии и ИТ-образование // Сборник избранных трудов IX Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. - М.: ИНТУИТ.РУ, 2014. – С. 297-304.
2. Кормен Т. и др. Алгоритмы: построение и анализ. — М.: «Вильямс», 2013.
Published
2016-11-25
How to Cite
РУБЛЕВ, Вадим Сергеевич; ЮСУФОВ, Мурад Теймурович. АВТОМАТИЗИРОВАННАЯ СИСТЕМА ДЛЯ ОБУЧЕНИЯ АНАЛИЗУ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ АЛГОРИТМОВ. Modern Information Technologies and IT-Education, [S.l.], v. 12, n. 1, p. 135-145, nov. 2016. ISSN 2411-1473. Available at: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/20>. Date accessed: 17 oct. 2025.