задачи автоматическое доказательство теорем и вычисление алгоритмических сложности
до четверга(18.03) мне нужен.