RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 4, страницы 481–495 (Mi mais578)  

Automated system for teaching Computational Complexity of Algorithms course

[Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов]

V. S. Rublev, M. T. Yusufov

P.G. Demidov Yaroslavl State University, 14 Sovetskaya str., Yaroslavl, 150003, Russia

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

Ключевые слова: автоматизированное обучение, анализ сложности алгоритмов, таблица символьной прокрутки алгоритма, нормальная система символьных преобразований.

DOI: https://doi.org/10.18255/1818-1015-2017-4-481-495

Полный текст: PDF файл (534 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.52:372.851
Поступила в редакцию: 14.04.2017
Язык публикации: английский

Образец цитирования: V. S. Rublev, M. T. Yusufov, “Automated system for teaching Computational Complexity of Algorithms course”, Модел. и анализ информ. систем, 24:4 (2017), 481–495

Цитирование в формате AMSBIB
\RBibitem{RubYus17}
\by V.~S.~Rublev, M.~T.~Yusufov
\paper Automated system for teaching Computational Complexity of Algorithms course
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 4
\pages 481--495
\mathnet{http://mi.mathnet.ru/mais578}
\crossref{https://doi.org/10.18255/1818-1015-2017-4-481-495}
\elib{http://elibrary.ru/item.asp?id=29864499}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais578
  • http://mi.mathnet.ru/rus/mais/v24/i4/p481

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:77
    Полный текст:45
    Литература:17
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019