Логические основы алгоритмизации История Начало исследований в