Без заголовка

Помните я говорил, что алг. верификация это сначала верификация, потом синтез сразу-верифицированных моделей? Вот как раз на втором этапе welcome deep learning, потому что надо искать решения уравнений. Я думаю это вполне возможно. И будет электронный инженер :)