Zaslat SMS: Алгебро-логические и проекционные методы в задачах теплообмена