Логика и техника: Решения задач по времени для механических систем