Цитата из книги «Как учится машина. Революция в области нейронных сетей и глубокого обучения»
Тем не менее работа над логикой привела к появлению некоторых важных приложений: к символьному решению уравнений и исчислению интегралов в математике, а также к автоматической проверке программ. Например, с его помощью компания Airbus проверяет точность и надежность своего программного обеспечения для управления пассажирскими самолетами.
Другие цитаты
Текст, доступен аудиоформат
Бесплатно
499 ₽
Начислим
+15
Покупайте книги и получайте бонусы в Литрес, Читай-городе и Буквоеде.
Участвовать в бонусной программеЖанры и теги
Возрастное ограничение:
12+Дата выхода на Литрес:
15 сентября 2021Дата перевода:
2021Дата написания:
2019Объем:
423 стр. 89 иллюстрацийISBN:
9785907470552Переводчик:
Издатель:
Правообладатель:
Альпина Диджитал