Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры программирования; стандартные типы данных; структуры данных; процедуры и функции; модульные программы; рекурсивные определения и алгоритмы; вопросы спецификации программ; корректность и надежность программ.