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

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

Аннотация

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

Сведения об авторах

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

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

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

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

Литература

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