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