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

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

Аннотация

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

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

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

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

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

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

Литература

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>. Дата доступа: 20 apr. 2024
Форматы библиографических ссылок
Выпуск
Том 12 № 1 (2016): Современные информационные технологии и ИТ-образование
Раздел
Когнитивные информационные технологии в системах управления
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.