Automated System for Teaching Computational Complexity of Algorithms Course

This article describes problems of designing automated teaching system for “Computational complexity of algorithms” course. This system should provide students with means to familiarize themselves with complex mathematical apparatus and improve their mathematical thinking in the respective area. The...

Full description

Saved in:

Bibliographic Details
Published in:	Modelirovanie i analiz informacionnyh sistem Vol. 24; no. 4; pp. 481 - 495
Main Authors:	Roublev, Vadim S., Yusufov, Murad T.
Format:	Journal Article
Language:	English
Published:	Yaroslavl State University 01.08.2017
Subjects:	algorithm complexity analysis algorithm’s symbol scroll table automated learning normal system of symbol transformations
ISSN:	1818-1015, 2313-5417
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	This article describes problems of designing automated teaching system for “Computational complexity of algorithms” course. This system should provide students with means to familiarize themselves with complex mathematical apparatus and improve their mathematical thinking in the respective area. The article introduces the technique of algorithms symbol scroll table that allows estimating lower and upper bounds of computational complexity. Further, we introduce a set of theorems that facilitate the analysis in cases when the integer rounding of algorithm parameters is involved and when analyzing the complexity of a sum. At the end, the article introduces a normal system of symbol transformations that allows one both to perform any symbol transformations and simplifies the automated validation of such transformations. The article is published in the authors’ wording.
ISSN:	1818-1015 2313-5417
DOI:	10.18255/1818-1015-2017-4-481-495