В курсе дается введение в теорию алгоритмов. Рассматриваются формальные модели алгоритмов: машина Тьюринга, алгоритмы Маркова, Паскаль, а также основные структуры данных и алгоритмы.

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