Статья 303

Теория алгоритмов все время успешно взаимодействовала с программированием. По этому поводу имеется немало хороших книг и популярных статей, мы остановимся здесь лишь на некоторых, наиболее близких к собственно логике моментах.
По мере того как становилось ясно, что компьютер - не только быстродействующий калькулятор, все больше места занимала машинная обработка сложно устроенной информации. Поэтому стало необходимо описывать на концептуальном уровне и сложные структуры данных, а современные языки программирования такой возможности не дают.
Средства описания и преобразования сложных структур на концептуальном уровне и их конкретизации в процессе решения задачи поставляет теория абстрактных типов данная, находящаяся на стыке теории алгоритмов логики и алгебры.
Нам необходимо описывать не только готовые программы, но и саму систему рассуждений, которой пользуется программист при построении и преобразовании программ.