Дада, помню как прогу из 15 строк на каком то паскале формально доказывали страниц на 6 тетради. Более того к сожалению далеко не все программы в принципе можно доказать подтвердить, Ну программа по управлению беспилотниками Вполне может быть такая которую можно. Только это довольно-таки сложно и ресурсоемко
Обсуждают сегодня