Примеры алгоритмов как некоторых процедур, однозначно приводящих к результату. Основные требования к алгоритмам. Алгоритмически неразрешимые задачи. Условия выполнения свойства сводимости. Три типа сложности задач. Четыре категории чисел по Колмогорову.