Задачи дискретная оптимизация Мат логика Логика предикатов В файле, дедлайн 29.12 в 18:00 по мск 29-12-2021