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

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

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.
Citation Formats
Issue
Vol 12 No 1 (2016): Современные информационные технологии и ИТ-образование
Section
Cognitive information technologies in control systems
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Publication policy of the journal is based on traditional ethical principles of the Russian scientific periodicals and is built in terms of ethical norms of editors and publishers work stated in Code of Conduct and Best Practice Guidelines for Journal Editors and Code of Conduct for Journal Publishers, developed by the Committee on Publication Ethics (COPE). In the course of publishing editorial board of the journal is led by international rules for copyright protection, statutory regulations of the Russian Federation as well as international standards of publishing. 
Authors publishing articles in this journal agree to the following: They retain copyright and grant the journal right of first publication of the work, which is automatically licensed under the Creative Commons Attribution License (CC BY license). Users can use, reuse and build upon the material published in this journal provided that such uses are fully attributed.