Quote from the book "Как учится машина. Революция в области нейронных сетей и глубокого обучения"
Тем не менее работа над логикой привела к появлению некоторых важных приложений: к символьному решению уравнений и исчислению интегралов в математике, а также к автоматической проверке программ. Например, с его помощью компания Airbus проверяет точность и надежность своего программного обеспечения для управления пассажирскими самолетами.
Other quotes
Text, audio format available
$6.25
Genres and tags
Age restriction:
12+Release date on Litres:
15 September 2021Translation date:
2021Writing date:
2019Volume:
423 p. 89 illustrationsISBN:
9785907470552Translator:
Publishers:
Copyright Holder::
Альпина Диджитал