Какого направления в теме алгоритмы формализация программирование нет в программ