Элементы теории алгоритмов

Элементы теории алгоритмов. Формализация понятия алгоритма. Вычислимость. Эквивалентность алгоритмических моделей. Построение алгоритмов и практические вычисления.